Enabled output file generation.

Former-commit-id: 0e4c0598c0

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

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;
@@ -234,7 +236,6 @@ namespace storm {
 					return false;
 				}
                 
-                
                 if (storm::settings::generalSettings().isVerboseSet()) {
                     logger.getAppender("mainConsoleAppender")->setThreshold(log4cplus::INFO_LOG_LEVEL);
                     LOG4CPLUS_INFO(logger, "Enabled verbose mode, log output gets printed to console.");