From e3663ee740e371e0e6e611060fd0dfae0f2952bd Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 5 Mar 2020 17:22:05 +0100
Subject: [PATCH] Portfolio: print true/false instead of 1/0

---
 src/storm-cli-utilities/model-handling.h | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h
index cd57360ef..d8f666faf 100644
--- a/src/storm-cli-utilities/model-handling.h
+++ b/src/storm-cli-utilities/model-handling.h
@@ -194,7 +194,12 @@ namespace storm {
             if (pf.enableExact() && mpi.verificationValueType == ModelProcessingInformation::ValueType::FinitePrecision) {
                 mpi.verificationValueType = ModelProcessingInformation::ValueType::Exact;
             }
-            STORM_PRINT_AND_LOG( "Portfolio engine picked the following settings: " << std::endl << "\tengine=" << mpi.engine << "\t bisimulation=" << mpi.applyBisimulation << "\t exact=" << (mpi.verificationValueType != ModelProcessingInformation::ValueType::FinitePrecision) << std::endl)
+            STORM_PRINT_AND_LOG( "Portfolio engine picked the following settings: " << std::endl
+                << "\tengine=" << mpi.engine
+                << std::boolalpha
+                << "\t bisimulation=" << mpi.applyBisimulation
+                << "\t exact=" << (mpi.verificationValueType != ModelProcessingInformation::ValueType::FinitePrecision)
+                << std::noboolalpha << std::endl);
         }
         
         ModelProcessingInformation getModelProcessingInformation(SymbolicInput const& input) {