From 02a346b5b7977934541f5464fce990b8586e1351 Mon Sep 17 00:00:00 2001
From: Jan Erik Karuc <jan.karuc@rwth-aachen.de>
Date: Thu, 20 Feb 2020 21:24:26 +0100
Subject: [PATCH] Fix: Set lb to ub if difference vector has no positive entry

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

diff --git a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
index 4bf296891..5384beea5 100644
--- a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
+++ b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
@@ -439,7 +439,7 @@ namespace storm {
                         // Update current upper bound
                         std::swap(newUpperBound, currentUpperBound);
 
-                        if (storm::utility::vector::hasPositiveEntry(ubDiffV)) {
+                        if (!storm::utility::vector::hasPositiveEntry(ubDiffV)) {
                             // Not all values moved up or stayed the same
                             // If we have a single fixed point, we can safely set the new lower bound, to the wrongly guessed upper bound
                             if (this->hasUniqueSolution()) {