Merge branch 'MinimalCommandCounterexample' of https://sselab.de/lab9/private/git/storm into MinimalCommandCounterexample

Former-commit-id: a67a69fe7d
11 years ago · ef8008d6e3
2 changed files with 850 additions and 204 deletions
--- a/src/counterexamples/MinimalLabelSetGenerator.h
+++ b/src/counterexamples/MinimalLabelSetGenerator.h
--- a/src/storm.cpp
+++ b/src/storm.cpp
@ -340,7 +340,7 @@ int main(const int argc, const char* argv[]) {
                storm::storage::BitVector const& finishedStates = labeledMdp->getLabeledStates("finished");
                storm::storage::BitVector const& allCoinsEqual1States = labeledMdp->getLabeledStates("all_coins_equal_1");
                storm::storage::BitVector targetStates = finishedStates & allCoinsEqual1States;
-                storm::counterexamples::MinimalLabelSetGenerator<double>::getMinimalLabelSet(*labeledMdp, storm::storage::BitVector(labeledMdp->getNumberOfStates(), true), targetStates, 0.2, true);
+                storm::counterexamples::MinimalLabelSetGenerator<double>::getMinimalLabelSet(*labeledMdp, storm::storage::BitVector(labeledMdp->getNumberOfStates(), true), targetStates, 0.3, true, true);
            }
 		}