From 9947d9b64cc90ffa1368080b2ad98a31572d771c Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Sat, 29 Oct 2016 22:29:26 +0200
Subject: [PATCH] Add up exploration time

Former-commit-id: f417ecc0214d492e376aab50833dbdb715ad3740
---
 src/modelchecker/dft/DFTModelChecker.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modelchecker/dft/DFTModelChecker.cpp b/src/modelchecker/dft/DFTModelChecker.cpp
index 5eee17e3e..be5ad6913 100644
--- a/src/modelchecker/dft/DFTModelChecker.cpp
+++ b/src/modelchecker/dft/DFTModelChecker.cpp
@@ -165,7 +165,7 @@ namespace storm {
                     // TODO Matthias refine model using existing model and MC results
                     builder.buildModel(labeloptions, iteration, approximationError);
                     std::chrono::high_resolution_clock::time_point explorationEnd = std::chrono::high_resolution_clock::now();
-                    explorationTime = explorationEnd - explorationStart;
+                    explorationTime += explorationEnd - explorationStart;
 
                     // TODO Matthias: possible to do bisimulation on approximated model and not on concrete one?