Added calls to setUrgentOptions for binaries

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

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()) {