From 43bb70e93dd1c7c534cd2915c8d0c44fa2aa6a31 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sat, 2 May 2020 18:49:34 -0700
Subject: [PATCH] bugfix where the wrong successor variables where selected

---
 src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp b/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp
index 744da8a95..327d374b7 100644
--- a/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp
+++ b/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.cpp
@@ -200,6 +200,7 @@ namespace storm {
             uint64_t rowindex = 0;
             for (uint64_t state = 0; state < pomdp.getNumberOfStates(); ++state) {
                 if (targetStates.get(state) || surelyReachSinkStates.get(state)) {
+                    rowindex += pomdp.getNumberOfChoices(state);
                     continue;
                 }
                 for (uint64_t action = 0; action < pomdp.getNumberOfChoices(state); ++action) {