sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Add up exploration time 

Former-commit-id: f417ecc021
tempestpy_adaptions
Mavo 8 years ago
parent
f1e69e42cd
commit
9947d9b64c
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      src/modelchecker/dft/DFTModelChecker.cpp

2
src/modelchecker/dft/DFTModelChecker.cpp
View File

@ -165,7 +165,7 @@ namespace storm {
// TODO Matthias refine model using existing model and MC results // TODO Matthias refine model using existing model and MC results
builder.buildModel(labeloptions, iteration, approximationError); builder.buildModel(labeloptions, iteration, approximationError);
std::chrono::high_resolution_clock::time_point explorationEnd = std::chrono::high_resolution_clock::now(); 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? // TODO Matthias: possible to do bisimulation on approximated model and not on concrete one?

Write Preview
Loading…
Cancel
Save