diff --git a/src/storage/StronglyConnectedComponentDecomposition.cpp b/src/storage/StronglyConnectedComponentDecomposition.cpp index 46990e7eb..784e99ab0 100644 --- a/src/storage/StronglyConnectedComponentDecomposition.cpp +++ b/src/storage/StronglyConnectedComponentDecomposition.cpp @@ -161,7 +161,7 @@ namespace storm { bool recursionStepIn = false; for (; successorIt != model.getRows(currentState).end(); ++successorIt) { - if (subsystem.get(successorIt->getColumn())) { + if (subsystem.get(successorIt->getColumn()) && successorIt->getValue() != storm::utility::constantZero()) { if (currentState == successorIt->getColumn()) { statesWithSelfLoop.set(currentState); }