From 95c23b50d14d5fed337a69a482d5b4d5b33bf99d Mon Sep 17 00:00:00 2001
From: Timo Philipp Gros <timopgros@gmail.com>
Date: Tue, 19 Dec 2017 18:26:56 +0100
Subject: [PATCH] removing log prints again

---
 .../csl/helper/SparseMarkovAutomatonCslHelper.cpp     | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
index 819d684c5..e56e03044 100644
--- a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
+++ b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
@@ -658,15 +658,6 @@ namespace storm {
                         element /= foxGlynnResult.totalWeight;
                     }
 
-                    ValueType sum = 0;
-                    for (auto i = foxGlynnResult.left ; i<=foxGlynnResult.right; i++){
-                        sum+=foxGlynnResult.weights[i-foxGlynnResult.left];
-                        logfile << i << "\t" << foxGlynnResult.weights[i-foxGlynnResult.left];
-                        logfile << i << "\t" << sum;
-                    }
-                    std::cout << " left " << foxGlynnResult.left << " right " << foxGlynnResult.right << " size " << foxGlynnResult.weights.size() << " sum " << sum << "\n";
-
-
                     // (4) define vectors/matrices
                     std::vector<ValueType> init(numberOfStates, -1);
                     std::vector<std::vector<ValueType>> v = std::vector<std::vector<ValueType>>(N + 1, init);
@@ -714,7 +705,7 @@ namespace storm {
                         }
                     }
                     oldDiff = maxNorm;
-                    std::cout << "Finished Iteration for N = " << N << " with difference " << maxNorm << "\n";
+                    //std::cout << "Finished Iteration for N = " << N << " with difference " << maxNorm << "\n";
                 } while (maxNorm > epsilon * (1 - kappa));
 
                 logfile.close();