From e0276cb78fdacc7a243cd68833eb1bad344b26cf Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 25 Sep 2020 16:10:01 +0200
Subject: [PATCH] Assertion fixed.

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

diff --git a/src/storm/modelchecker/multiobjective/pcaa/StandardPcaaWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/pcaa/StandardPcaaWeightVectorChecker.cpp
index 4dafaeec4..e626ff1b3 100644
--- a/src/storm/modelchecker/multiobjective/pcaa/StandardPcaaWeightVectorChecker.cpp
+++ b/src/storm/modelchecker/multiobjective/pcaa/StandardPcaaWeightVectorChecker.cpp
@@ -721,7 +721,7 @@ namespace storm {
                             auto state = *origStates.begin();
                             auto groupStart = transitionMatrix.getRowGroupIndices()[state];
                             originalOptimalChoices[state] = origChoice - groupStart;
-                            STORM_LOG_ASSERT(originalOptimalChoices[state] > 0 && originalOptimalChoices[state] < transitionMatrix.getRowGroupSize(state), "Invalid choice.");
+                            STORM_LOG_ASSERT(originalOptimalChoices[state] >= 0 && originalOptimalChoices[state] < transitionMatrix.getRowGroupSize(state), "Invalid choice: " << originalOptimalChoices[state] << " at a state with " << transitionMatrix.getRowGroupSize(state) << " choices.");
                             originalSolution[state] = ecqSolution[ecqState];
                             unprocessedStates.set(state, false);
                         }