Return exit code > 0 for exceptions

src/storm-dft-cli/storm-dyftee.cpp

@@ -250,7 +250,9 @@ int main(const int argc, const char** argv) {
         return 0;
     } catch (storm::exceptions::BaseException const& exception) {
         STORM_LOG_ERROR("An exception caused StoRM-DyFTeE to terminate. The message of the exception is: " << exception.what());
+        return 1;
     } catch (std::exception const& exception) {
         STORM_LOG_ERROR("An unexpected exception occurred and caused StoRM-DyFTeE to terminate. The message of this exception is: " << exception.what());
+        return 2;
     }
 }

src/storm-gspn-cli/storm-gspn.cpp

@@ -140,7 +140,9 @@ int main(const int argc, const char **argv) {
         return 0;
     } catch (storm::exceptions::BaseException const& exception) {
         STORM_LOG_ERROR("An exception caused StoRM to terminate. The message of the exception is: " << exception.what());
+        return 1;
     } catch (std::exception const& exception) {
         STORM_LOG_ERROR("An unexpected exception occurred and caused StoRM to terminate. The message of this exception is: " << exception.what());
+        return 2;
     }
 }

src/storm-pgcl-cli/storm-pgcl.cpp

@@ -95,13 +95,11 @@ int main(const int argc, const char** argv) {
         } else {
             
         }
-        
-        
-        
-        
     }catch (storm::exceptions::BaseException const& exception) {
         STORM_LOG_ERROR("An exception caused StoRM-PGCL to terminate. The message of the exception is: " << exception.what());
+        return 1;
     } catch (std::exception const& exception) {
         STORM_LOG_ERROR("An unexpected exception occurred and caused StoRM-PGCL to terminate. The message of this exception is: " << exception.what());
+        return 2;
     }
 }

src/storm/storm.cpp

@@ -36,7 +36,9 @@ int main(const int argc, const char** argv) {
         return 0;
     } catch (storm::exceptions::BaseException const& exception) {
         STORM_LOG_ERROR("An exception caused Storm to terminate. The message of the exception is: " << exception.what());
+        return 1;
     } catch (std::exception const& exception) {
         STORM_LOG_ERROR("An unexpected exception occurred and caused Storm to terminate. The message of this exception is: " << exception.what());
+        return 2;
     }
 }