From 579ab274e63521decde3a36c427f7ee61e940f50 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 13 Jan 2021 15:09:20 +0100
Subject: [PATCH] Fixed computing coalition states in SMG.

---
 src/storm/models/sparse/Smg.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm/models/sparse/Smg.cpp b/src/storm/models/sparse/Smg.cpp
index a909523c0..40481ee06 100644
--- a/src/storm/models/sparse/Smg.cpp
+++ b/src/storm/models/sparse/Smg.cpp
@@ -66,7 +66,8 @@ namespace storm {
                 // Now create the actual result
                 storm::storage::BitVector result(this->getNumberOfStates(), false);
                 for (uint64_t state = 0; state < this->getNumberOfStates(); ++state) {
-                    if (coalitionAsBitVector.get(statePlayerIndications[state])) {
+                    auto const& pi = statePlayerIndications[state];
+                    if (pi < coalitionAsBitVector.size() && coalitionAsBitVector.get(pi)) {
                         result.set(state, true);
                     }
                 }