From 8c438da7849832efd3f26269f5ab7cd3574dc1be Mon Sep 17 00:00:00 2001
From: Tom Janson <tom.janson@rwth-aachen.de>
Date: Sat, 24 Dec 2016 00:22:21 +0100
Subject: [PATCH] ksp: fix assertion

---
 src/storm/utility/shortestPaths.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/utility/shortestPaths.cpp b/src/storm/utility/shortestPaths.cpp
index 9bf630953..19ba70983 100644
--- a/src/storm/utility/shortestPaths.cpp
+++ b/src/storm/utility/shortestPaths.cpp
@@ -169,7 +169,7 @@ namespace storm {
 
                             // note that distances are probabilities, thus they are multiplied and larger is better
                             T alternateDistance = shortestPathDistances[currentNode] * convertDistance(currentNode, otherNode, transition.getValue());
-                            assert(zero<T>() <= alternateDistance <= one<T>()); // FIXME: there is a negative transition! SM gives us a placeholder!
+                            assert((zero<T>() <= alternateDistance) && (alternateDistance <= one<T>()));
                             if (alternateDistance > shortestPathDistances[otherNode]) {
                                 shortestPathDistances[otherNode] = alternateDistance;
                                 shortestPathPredecessors[otherNode] = boost::optional<state_t>(currentNode);