From 5a221acbd0eb5702972a178aeea58ffafbce13be Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 30 Apr 2020 15:38:08 +0200
Subject: [PATCH] Multi-objective model checking: Fixed incorrect computations
 for some models with end components. (Github Issue #75)

---
 .../multiobjective/pcaa/StandardPcaaWeightVectorChecker.cpp      | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/modelchecker/multiobjective/pcaa/StandardPcaaWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/pcaa/StandardPcaaWeightVectorChecker.cpp
index 307d91c3f..db0fa99f1 100644
--- a/src/storm/modelchecker/multiobjective/pcaa/StandardPcaaWeightVectorChecker.cpp
+++ b/src/storm/modelchecker/multiobjective/pcaa/StandardPcaaWeightVectorChecker.cpp
@@ -563,6 +563,7 @@ namespace storm {
                             if (rowLeadsToDefinedScheduler && (rowStaysInEC || !statesThatShouldStayInTheirEC.get(state))) {
                                 originalOptimalChoices[state] = row - transitionMatrix.getRowGroupIndices()[state];
                                 statesWithUndefSched.set(state, false);
+                                break;
                             }
                         }
                     }