From 7f03d1e6710e47c7daa52960338db3b34686a183 Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Fri, 4 Sep 2020 14:44:52 +0200
Subject: [PATCH] Remove debug info
---
.../instantiation/SparseDtmcInstantiationModelChecker.cpp | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/storm-pars/modelchecker/instantiation/SparseDtmcInstantiationModelChecker.cpp b/src/storm-pars/modelchecker/instantiation/SparseDtmcInstantiationModelChecker.cpp
index 9ea15c4f9..85c5ce466 100644
--- a/src/storm-pars/modelchecker/instantiation/SparseDtmcInstantiationModelChecker.cpp
+++ b/src/storm-pars/modelchecker/instantiation/SparseDtmcInstantiationModelChecker.cpp
@@ -60,7 +60,6 @@ namespace storm {
std::cout << storm::utility::vector::toString(qualitativeResult) << std::endl;
storm::storage::BitVector maybeStates = storm::utility::vector::filter<ConstantType>(qualitativeResult,
[] (ConstantType const& value) -> bool { return !(storm::utility::isZero<ConstantType>(value) || storm::utility::isOne<ConstantType>(value)); });
- std::cout <<maybeStates << std::endl;
hint.setMaybeStates(std::move(maybeStates));
hint.setResultHint(std::move(qualitativeResult));
hint.setComputeOnlyMaybeStates(true);