From 9ad8209a650caad894ee8ed4249165245867dbde Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 16 Jul 2019 16:04:07 +0200
Subject: [PATCH] clarify that a formula needs to be added to do anything in
storm-pomdp
---
src/storm-pomdp-cli/storm-pomdp.cpp | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index 075a1e7dc..ec888bd02 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -204,8 +204,12 @@ int main(const int argc, const char** argv) {
STORM_PRINT_AND_LOG(" done." << std::endl);
}
+ } else {
+ STORM_LOG_WARN("Nothing to be done. Did you forget to specify a formula?");
}
+
+
// All operations have now been performed, so we clean up everything and terminate.
storm::utility::cleanUp();
return 0;