From 4c5b041340bb2c5fdb1abf5351fc5c6431c6c262 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 6 Dec 2018 20:12:19 +0100
Subject: [PATCH] Debug output

---
 .../csl/helper/SparseMarkovAutomatonCslHelper.cpp            | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
index 3af9714b8..1671f6245 100644
--- a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
+++ b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
@@ -90,6 +90,7 @@ namespace storm {
                 
                 // First case, k==N, independent from kind of state.
                 if (k == N) {
+                    STORM_LOG_ASSERT(false, "Result for k=N was already calculated.");
                     resVectorNew[state] = storm::utility::zero<ValueType>();
                     return;
                 }
@@ -290,7 +291,7 @@ namespace storm {
                 for (ValueType const& rate : exitRateVector) {
                     lambda = std::max(rate, lambda);
                 }
-                STORM_LOG_TRACE("Initial lambda is " << lambda << ".");
+                STORM_LOG_DEBUG("Initial lambda is " << lambda << ".");
 
                 // Compute the relative reachability vectors and create solver for models with SCCs.
                 std::vector<std::vector<ValueType>> relativeReachabilities(transitionMatrix.getRowCount());
@@ -411,7 +412,7 @@ namespace storm {
 
                     // (6) Double lambda.
                     lambda *= 2;
-                    STORM_LOG_TRACE("Increased lambda to " << lambda << ", max diff is " << maxNorm << ".");
+                    STORM_LOG_DEBUG("Increased lambda to " << lambda << ", max diff is " << maxNorm << ".");
 
                 } while (maxNorm > epsilon * (1 - kappa));