From 06787ab9c2520447a41776f8e50a244efecbde9d Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 27 Feb 2020 19:56:55 +0100
Subject: [PATCH] Added calls to setUrgentOptions for binaries

---
 src/storm-gspn-cli/storm-gspn.cpp | 5 ++++-
 src/storm-pgcl-cli/storm-pgcl.cpp | 3 +++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/storm-gspn-cli/storm-gspn.cpp b/src/storm-gspn-cli/storm-gspn.cpp
index 9d6924297..090d56400 100644
--- a/src/storm-gspn-cli/storm-gspn.cpp
+++ b/src/storm-gspn-cli/storm-gspn.cpp
@@ -64,7 +64,10 @@ int main(const int argc, const char **argv) {
         if (!optionsCorrect) {
             return -1;
         }
-        
+
+        // Start by setting some urgent options (log levels, resources, etc.)
+        storm::cli::setUrgentOptions();
+
         auto gspnSettings = storm::settings::getModule<storm::settings::modules::GSPNSettings>();
 
         // parse gspn from file
diff --git a/src/storm-pgcl-cli/storm-pgcl.cpp b/src/storm-pgcl-cli/storm-pgcl.cpp
index 73d88e581..45b81f2c8 100644
--- a/src/storm-pgcl-cli/storm-pgcl.cpp
+++ b/src/storm-pgcl-cli/storm-pgcl.cpp
@@ -69,6 +69,9 @@ int main(const int argc, const char** argv) {
         if (!optionsCorrect) {
             return -1;
         }
+
+        // Start by setting some urgent options (log levels, resources, etc.)
+        storm::cli::setUrgentOptions();
     
         auto pgcl = storm::settings::getModule<storm::settings::modules::PGCLSettings>();
         if (!pgcl.isPgclFileSet()) {