From eb15177801c8cfc76bd5abbfa0cfdeed4acedd36 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 11 Apr 2019 15:13:05 +0200
Subject: [PATCH] cli: try to recover after checking a property has failed.
 (related to GitHub issue #42)

---
 src/storm-cli-utilities/model-handling.h | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h
index ae69cc1e2..1d71c3639 100644
--- a/src/storm-cli-utilities/model-handling.h
+++ b/src/storm-cli-utilities/model-handling.h
@@ -633,7 +633,12 @@ namespace storm {
             for (auto const& property : properties) {
                 printModelCheckingProperty(property);
                 storm::utility::Stopwatch watch(true);
-                std::unique_ptr<storm::modelchecker::CheckResult> result = verificationCallback(property.getRawFormula(), property.getFilter().getStatesFormula());
+                std::unique_ptr<storm::modelchecker::CheckResult> result;
+                try {
+                    result = verificationCallback(property.getRawFormula(), property.getFilter().getStatesFormula());
+                } catch (storm::exceptions::BaseException const& ex) {
+                    STORM_LOG_WARN("Cannot handle property: " << ex.what());
+                }
                 watch.stop();
                 postprocessingCallback(result);
                 printResult<ValueType>(result, property, &watch);