From 8fa67a6158c531c28d37409c75f50f7b07c941aa Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 7 Feb 2015 02:40:03 +0100
Subject: [PATCH] Enabled output file generation.
Former-commit-id: 0e4c0598c03ba5a4e4dd4b1951d1a8967f8a5a23
---
src/stormParametric.cpp | 5 ++---
src/utility/cli.h | 3 ++-
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/stormParametric.cpp b/src/stormParametric.cpp
index 5282ea8c0..eba96ef4b 100644
--- a/src/stormParametric.cpp
+++ b/src/stormParametric.cpp
@@ -191,9 +191,8 @@ void check() {
assert(dtmc);
-// storm::modelchecker::reachability::CollectConstraints<ValueType> constraintCollector;
-// constraintCollector(*dtmc);
-
+ storm::modelchecker::reachability::CollectConstraints<ValueType> constraintCollector;
+ constraintCollector(*dtmc);
std::unique_ptr<storm::modelchecker::CheckResult> result = modelchecker.check(*formula);
diff --git a/src/utility/cli.h b/src/utility/cli.h
index 1fd33eb29..6319144d5 100644
--- a/src/utility/cli.h
+++ b/src/utility/cli.h
@@ -218,6 +218,8 @@ namespace storm {
storm::settings::SettingsManager& manager = storm::settings::mutableManager();
try {
manager.setFromCommandLine(argc, argv);
+// std::vector<std::string> arguments = {"--symbolic", "/Users/chris/work/prism-trunk/prism-examples/self-stabilisation/herman/herman7.mod", "--prop", "R=? [F \"stable\"]"};
+// manager.setFromExplodedString(arguments);
} catch (storm::exceptions::OptionParserException& e) {
manager.printHelp();
throw e;
@@ -233,7 +235,6 @@ namespace storm {
storm::settings::manager().printVersion();
return false;
}
-
if (storm::settings::generalSettings().isVerboseSet()) {
logger.getAppender("mainConsoleAppender")->setThreshold(log4cplus::INFO_LOG_LEVEL);