From 2a88a3e95f9c0b06001b5cbf02e40b6d1e007519 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Thu, 28 Jan 2021 18:26:06 +0100 Subject: [PATCH] fix backwards multiplier --- src/storm/solver/GmmxxMultiplier.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/solver/GmmxxMultiplier.cpp b/src/storm/solver/GmmxxMultiplier.cpp index a6c64bfa5..19801a28e 100644 --- a/src/storm/solver/GmmxxMultiplier.cpp +++ b/src/storm/solver/GmmxxMultiplier.cpp @@ -179,7 +179,7 @@ namespace storm { uint64_t selectedChoice; uint64_t currentRow = backwards ? gmmMatrix.nrows() - 1 : 0; - uint64_t currentRowGroup = backwards ? rowGroupIndices.size() - 1 : 0; + uint64_t currentRowGroup = backwards ? rowGroupIndices.size() - 2 : 0; auto row_group_it = backwards ? rowGroupIndices.end() - 2 : rowGroupIndices.begin(); auto row_group_ite = backwards ? rowGroupIndices.begin() - 1 : rowGroupIndices.end() - 1; if(choices) STORM_LOG_DEBUG(" ");