From 3c65a4a10a74f9fd0096c9dc55f1261de789c2fe Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 1 Dec 2017 10:18:56 +0100
Subject: [PATCH] added a missing assertion

---
 src/storm/solver/NativeLinearEquationSolver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/solver/NativeLinearEquationSolver.cpp b/src/storm/solver/NativeLinearEquationSolver.cpp
index d2dc18e68..3545cb8d3 100644
--- a/src/storm/solver/NativeLinearEquationSolver.cpp
+++ b/src/storm/solver/NativeLinearEquationSolver.cpp
@@ -617,6 +617,7 @@ namespace storm {
                     upperValueBound = lowerValueBound;
                     ValueType largestStayProb = *probIt;
                     for (; valIt != valIte; ++valIt, ++probIt) {
+                        STORM_LOG_ASSERT(!storm::utility::isOne(*probIt), "Did not expect staying-probability 1 at this point.");
                         ValueType currentBound = *valIt / (storm::utility::one<ValueType>() - *probIt);
                         lowerValueBound = std::min(lowerValueBound, currentBound);
                         upperValueBound = std::max(upperValueBound, currentBound);