From d092d0ca50621db0e1e91ff42b3f61bab0c4d5f8 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sat, 18 Oct 2014 03:10:00 +0200
Subject: [PATCH] a little assertion added

Former-commit-id: 457035411bbcd81d616ba3279fc4f9fa7a350918
---
 src/modelchecker/reachability/SparseSccModelChecker.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/modelchecker/reachability/SparseSccModelChecker.cpp b/src/modelchecker/reachability/SparseSccModelChecker.cpp
index 7aae3f0b4..3db1122c8 100644
--- a/src/modelchecker/reachability/SparseSccModelChecker.cpp
+++ b/src/modelchecker/reachability/SparseSccModelChecker.cpp
@@ -358,6 +358,7 @@ namespace storm {
                     
                     // Skip the state itself as one of its predecessors.
                     if (predecessor == state) {
+                        assert(hasSelfLoop);
                         continue;
                     }