From 79ba044c496be8e3147c4068032d42ddc6b34f3f Mon Sep 17 00:00:00 2001
From: Timo Philipp Gros <timopgros@gmail.com>
Date: Tue, 12 Dec 2017 13:34:47 +0100
Subject: [PATCH] prints

---
 .../csl/helper/SparseMarkovAutomatonCslHelper.cpp          | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
index e9b2edfc5..93758ee94 100644
--- a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
+++ b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
@@ -661,6 +661,13 @@ namespace storm {
                         element /= foxGlynnResult.totalWeight;
                     }
 
+                    ValueType leftSum=0;
+                    for (int i  =0 ; i< foxGlynnResult.left; i++){
+                        leftSum += foxGlynnResult.weights[i];
+                        std::cout << foxGlynnResult.weights[i] << "\n";
+                    }
+                    std::cout<< "sum Left is " << leftSum <<"\n";
+
 
                     // (4) define vectors/matrices
                     std::vector<ValueType> init(numberOfStates, -1);