From c1b4cb848c9eb2321e18043a9bcc328d7d1f177e Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 6 Jul 2017 19:06:24 +0200
Subject: [PATCH] added missing newlines in the storm-pars cli. Also do not
segfault when there is no result
---
src/storm-pars-cli/storm-pars.cpp | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/src/storm-pars-cli/storm-pars.cpp b/src/storm-pars-cli/storm-pars.cpp
index eba86792d..bc52f85dc 100644
--- a/src/storm-pars-cli/storm-pars.cpp
+++ b/src/storm-pars-cli/storm-pars.cpp
@@ -155,9 +155,10 @@ namespace storm {
regionRefinementCheckResult->writeIllustrationToStream(outStream);
}
}
+ outStream << std::endl;
STORM_PRINT_AND_LOG(outStream.str());
} else {
- STORM_PRINT_AND_LOG(*result);
+ STORM_PRINT_AND_LOG(*result << std::endl);
}
if (watch) {
STORM_PRINT_AND_LOG("Time for model checking: " << *watch << "." << std::endl);
@@ -184,7 +185,9 @@ namespace storm {
verifyProperties<ValueType>(input.properties,
[&model] (std::shared_ptr<storm::logic::Formula const> const& formula) {
std::unique_ptr<storm::modelchecker::CheckResult> result = storm::api::verifyWithSparseEngine<ValueType>(model, storm::api::createTask<ValueType>(formula, true));
- result->filter(storm::modelchecker::ExplicitQualitativeCheckResult(model->getInitialStates()));
+ if (result) {
+ result->filter(storm::modelchecker::ExplicitQualitativeCheckResult(model->getInitialStates()));
+ }
return result;
},
[&model] (std::unique_ptr<storm::modelchecker::CheckResult> const& result) {