From d45ea9cbdeb17fc199a7608f07d8056c4d8ff9ff Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Mon, 8 Feb 2016 16:27:08 +0100
Subject: [PATCH] Improved cmdl options

Former-commit-id: b2ecba9ea10e8123683b3860d7bad6bac02a46ae
---
 src/storm-dyftee.cpp | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/src/storm-dyftee.cpp b/src/storm-dyftee.cpp
index fd9d67c12..4986469e7 100644
--- a/src/storm-dyftee.cpp
+++ b/src/storm-dyftee.cpp
@@ -46,7 +46,7 @@ void analyzeDFT(std::string filename, std::string property) {
 int main(int argc, char** argv) {
     if(argc < 2) {
         std::cout << "Storm-DyFTeE should be called with a filename as argument." << std::endl;
-        std::cout << "./storm-dft <filename> <optional pctl-formula> <optional --parametric>" << std::endl;
+        std::cout << "./storm-dft <filename> <--prop pctl-formula> <--parametric>" << std::endl;
         return 1;
     }
 
@@ -69,9 +69,14 @@ int main(int argc, char** argv) {
             level = log4cplus::TRACE_LOG_LEVEL;
         } else if (option == "--debug") {
             level = log4cplus::DEBUG_LOG_LEVEL;
-        } else {
+        } else if (option == "--prop") {
             assert(pctlFormula.empty());
-            pctlFormula = option;
+            ++i;
+            assert(i < argc);
+            pctlFormula = argv[i];
+        } else {
+            std::cout << "Option '" << option << "' not recognized." << std::endl;
+            return 1;
         }
     }
     assert(!pctlFormula.empty());