Merge branch 'master' into prism-pomdp

6 years ago · a187a299af
1 changed files with 1 additions and 0 deletions
--- 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;
                            }
                        }
                    }