From d417c9ecbe7a31ced64dabc99c0e317d38f0376f Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Thu, 4 Oct 2018 22:14:14 +0200
Subject: [PATCH] Fix assertion. assert(x < y < z) is not the same as assert(x
 < y and y < z).

---
 src/storm/utility/shortestPaths.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm/utility/shortestPaths.h b/src/storm/utility/shortestPaths.h
index ad344f1aa..60b206bca 100644
--- a/src/storm/utility/shortestPaths.h
+++ b/src/storm/utility/shortestPaths.h
@@ -235,7 +235,8 @@ namespace storm {
 
                         // only non-zero entries (i.e. true transitions) are added to the map
                         if (probEntry != 0) {
-                            assert(0 < probEntry <= 1);
+                            assert(0 < probEntry);
+                            assert(probEntry <= 1);
                             stateProbMap.emplace(i, probEntry);
                         }
                     }