From cd4ad03f379532d62958ced2a2b9facda42812db Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 3 Jun 2020 10:18:34 +0200
Subject: [PATCH] Added output 'DEBUG BUILD' in case storm is running in debug
 mode.

---
 src/storm-cli-utilities/cli.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/storm-cli-utilities/cli.cpp b/src/storm-cli-utilities/cli.cpp
index 4d7c891b0..ea7c29354 100644
--- a/src/storm-cli-utilities/cli.cpp
+++ b/src/storm-cli-utilities/cli.cpp
@@ -88,8 +88,10 @@ namespace storm {
         }
         
         void printHeader(std::string const& name, const int argc, const char** argv) {
-            STORM_PRINT(name << " " << storm::StormVersion::shortVersionString() << std::endl << std::endl);
-            
+            STORM_PRINT(name << " " << storm::StormVersion::shortVersionString() << std::endl);
+#ifndef NDEBUG
+            STORM_PRINT("DEBUG BUILD" << std::endl);
+#endif
             // "Compute" the command line argument string with which storm was invoked.
             std::stringstream commandStream;
             for (int i = 1; i < argc; ++i) {
@@ -99,6 +101,7 @@ namespace storm {
             std::string command = commandStream.str();
             
             if (!command.empty()) {
+                STORM_PRINT(std::endl);
                 std::time_t result = std::time(nullptr);
                 STORM_PRINT("Date: " << std::ctime(&result));
                 STORM_PRINT("Command line arguments:" << commandStream.str() << std::endl);