From 70c689ff1eae68c9342c8cedccc131f5133b9774 Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Mon, 30 Aug 2021 10:44:30 +0200
Subject: [PATCH] fixed bug in
 SparseNondeterministicStepBoundedHorizonHelper.cpp (use of uint
 choiceValuesCounter without initialization)

---
 .../SparseNondeterministicStepBoundedHorizonHelper.cpp          | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/modelchecker/helper/finitehorizon/SparseNondeterministicStepBoundedHorizonHelper.cpp b/src/storm/modelchecker/helper/finitehorizon/SparseNondeterministicStepBoundedHorizonHelper.cpp
index 0d88c456e..ea1948d54 100644
--- a/src/storm/modelchecker/helper/finitehorizon/SparseNondeterministicStepBoundedHorizonHelper.cpp
+++ b/src/storm/modelchecker/helper/finitehorizon/SparseNondeterministicStepBoundedHorizonHelper.cpp
@@ -87,7 +87,7 @@ namespace storm {
 
                     std::vector<uint64_t> rowGroupIndices = transitionMatrix.getRowGroupIndices();
                     std::vector<uint64_t> maybeStatesRowGroupSizes;
-                    uint choiceValuesCounter;
+                    uint choiceValuesCounter = 0;
                     getMaybeStatesRowGroupSizes(transitionMatrix, maybeStates, maybeStatesRowGroupSizes, choiceValuesCounter);
                     choiceValues = std::vector<ValueType>(choiceValuesCounter, storm::utility::zero<ValueType>());