From d64ba97d2f2c3efb68d15ba2efd715dcf4b8cc58 Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Wed, 10 Oct 2018 12:56:26 +0200
Subject: [PATCH] Change bounds to strictly greater/smaller

---
 src/storm-pars/analysis/AssumptionChecker.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm-pars/analysis/AssumptionChecker.cpp b/src/storm-pars/analysis/AssumptionChecker.cpp
index ac6b202ae..b8cfd9d19 100644
--- a/src/storm-pars/analysis/AssumptionChecker.cpp
+++ b/src/storm-pars/analysis/AssumptionChecker.cpp
@@ -258,7 +258,7 @@ namespace storm {
                 storm::expressions::Expression exprBounds = manager->boolean(true);
                 auto variables = manager->getVariables();
                 for (auto var : variables) {
-                    exprBounds = exprBounds && var >= 0 && var <= 1;
+                    exprBounds = exprBounds && var > 0 && var < 1;
                 }
 
                 s.add(exprGiven);
@@ -335,7 +335,7 @@ namespace storm {
 
                 auto variables = manager->getVariables();
                 for (auto var : variables) {
-                    exprBounds = exprBounds && var >= 0 && var <= 1;
+                    exprBounds = exprBounds && var > 0 && var < 1;
                 }
 
                 s.add(exprGiven);