Browse Source

(Hopefully) successfully merged the changes of master into parametricSystems.

Former-commit-id: 6ef6400449
tempestpy_adaptions
dehnert 10 years ago
parent
commit
7e847e420b
  1. 2
      src/stormParametric.cpp

2
src/stormParametric.cpp

@ -226,7 +226,7 @@ void check() {
std::unique_ptr<storm::modelchecker::CheckResult> result = modelchecker.check(*formula); std::unique_ptr<storm::modelchecker::CheckResult> result = modelchecker.check(*formula);
// Report the result. // Report the result.
STORM_PRINT_AND_LOG(std::endl << "Result: " << std::endl);
STORM_PRINT_AND_LOG(std::endl << "Result (initial state): ");
result->writeToStream(std::cout, model->getInitialStates()); result->writeToStream(std::cout, model->getInitialStates());
if (std::is_same<ValueType, storm::RationalFunction>::value) { if (std::is_same<ValueType, storm::RationalFunction>::value) {
printApproximateResult(result->asExplicitQuantitativeCheckResult<ValueType>()[*model->getInitialStates().begin()]); printApproximateResult(result->asExplicitQuantitativeCheckResult<ValueType>()[*model->getInitialStates().begin()]);

Loading…
Cancel
Save