From e2ef6bc52ae24eef1777b360934cbf31c9dac854 Mon Sep 17 00:00:00 2001 From: Alexander Bork <alexander.bork@rwth-aachen.de> Date: Wed, 19 Jun 2019 11:18:31 +0200 Subject: [PATCH] Added missing initialization of result vector --- src/storm-dft/storage/dft/DFT.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm-dft/storage/dft/DFT.cpp b/src/storm-dft/storage/dft/DFT.cpp index b65638691..611a9c5d9 100644 --- a/src/storm-dft/storage/dft/DFT.cpp +++ b/src/storm-dft/storage/dft/DFT.cpp @@ -93,7 +93,7 @@ namespace storm { template<typename ValueType> void DFT<ValueType>::setDynamicBehaviorInfo() { - std::vector<bool> dynamicBehaviorVector(mElements.size()); + std::vector<bool> dynamicBehaviorVector(mElements.size(), false); std::queue <DFTElementPointer> elementQueue;