From 5937a764b884065a5487eeae06174f3d423a7eca Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sun, 24 May 2020 11:04:24 -0700
Subject: [PATCH] debug output now only appears with log level
---
.../counterexamples/SMTMinimalLabelSetGenerator.h | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h b/src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h
index 64be9e83d..c991d88a1 100644
--- a/src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h
+++ b/src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h
@@ -1848,10 +1848,10 @@ namespace storm {
if (static_cast<uint64_t>(durationSinceLastMessage) >= progressDelay || lastSize < commandSet.size()) {
auto milliseconds = std::chrono::duration_cast<std::chrono::milliseconds>(now - totalClock).count();
if (lastSize < commandSet.size()) {
- std::cout << "Improved lower bound to " << currentBound << " after " << milliseconds << "ms." << std::endl;
+ STORM_LOG_DEBUG("Improved lower bound to " << currentBound << " after " << milliseconds << "ms.");
lastSize = commandSet.size();
} else {
- std::cout << "Lower bound on label set size is " << currentBound << " after " << milliseconds << "ms (checked " << iterations << " models, " << zeroProbabilityCount << " could not reach the target set)." << std::endl;
+ STORM_LOG_DEBUG("Lower bound on label set size is " << currentBound << " after " << milliseconds << "ms (checked " << iterations << " models, " << zeroProbabilityCount << " could not reach the target set).");
timeOfLastMessage = std::chrono::high_resolution_clock::now();
}
}