From 1af5670750f4890ab50ad4f17e7d7bd879be34ef Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Mon, 20 Aug 2018 11:12:03 +0200
Subject: [PATCH] Throw error when bisimulation not set, change output
 monotonicity

---
 src/storm-pars-cli/storm-pars.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/storm-pars-cli/storm-pars.cpp b/src/storm-pars-cli/storm-pars.cpp
index b62a8cb2b..a13f245bf 100644
--- a/src/storm-pars-cli/storm-pars.cpp
+++ b/src/storm-pars-cli/storm-pars.cpp
@@ -461,6 +461,7 @@ namespace storm {
 
             if (parSettings.isMonotonicityAnalysisSet()) {
                 std::cout << "Hello, Jip1" << std::endl;
+                STORM_LOG_THROW(storm::settings::getModule<storm::settings::modules::GeneralSettings>().isBisimulationSet(), storm::exceptions::InvalidSettingsException, "Monotonicity analysis requires bisimulation");
                 storm::utility::Stopwatch simplifyingWatch(true);
                 if (model->isOfType(storm::models::ModelType::Dtmc)) {
                     auto consideredModel = (model->as<storm::models::sparse::Dtmc<ValueType>>());
@@ -576,14 +577,14 @@ namespace storm {
                     if (itr->second) {
                         std::cout << "Monotone increasing in: " << itr->first << std::endl;
                     } else {
-                        std::cout << "Not monotone increasing in: " << itr->first << std::endl;
+                        std::cout << "Do not know if monotone increasing in: " << itr->first << std::endl;
                     }
                 }
                 for (auto itr = varsMonotoneDecr.begin(); itr != varsMonotoneDecr.end(); ++itr) {
                     if (itr->second) {
                         std::cout << "Monotone decreasing in: " << itr->first << std::endl;
                     } else {
-                        std::cout << "Not monotone decreasing in: " << itr->first << std::endl;
+                        std::cout << "Do not know if monotone decreasing in: " << itr->first << std::endl;
                     }
                 }