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);