From 8df0a05ab8f54679fd49b3cb0f259dee4a1c880c Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Fri, 24 May 2019 13:32:55 +0200
Subject: [PATCH] Fix assertion

---
 src/storm-pars/analysis/MonotonicityChecker.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-pars/analysis/MonotonicityChecker.cpp b/src/storm-pars/analysis/MonotonicityChecker.cpp
index 33bc02d63..93a70c46b 100644
--- a/src/storm-pars/analysis/MonotonicityChecker.cpp
+++ b/src/storm-pars/analysis/MonotonicityChecker.cpp
@@ -556,7 +556,7 @@ namespace storm {
                     for (auto j = initialStates.getNextSetIndex(0); j < model->getNumberOfStates(); j = initialStates.getNextSetIndex(j+1)) {
                         initial += values[j];
                     }
-                    assert (initial >= precision && initial <= 1+precision);
+                    assert (initial >= 0-precision && initial <= 1+precision);
                     double diff = previous - initial;
                     assert (previous == -1 || diff >= -1-precision && diff <= 1 + precision);
                     if (previous != -1 && (diff > precision || diff < -precision)) {