From 99991d344e54e2b2450c4dcc5a553a4776da8e60 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 11 Nov 2019 15:42:15 +0100
Subject: [PATCH] utility/initialize: Added a function to read the current
 loglevel.

---
 src/storm/utility/initialize.cpp | 6 +++++-
 src/storm/utility/initialize.h   | 5 +++++
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/storm/utility/initialize.cpp b/src/storm/utility/initialize.cpp
index 32f17a93b..ffd92d693 100644
--- a/src/storm/utility/initialize.cpp
+++ b/src/storm/utility/initialize.cpp
@@ -33,6 +33,10 @@ namespace storm {
         void cleanUp() {
             // Intentionally left empty.
         }
+        
+        l3pp::LogLevel getLogLevel() {
+            return l3pp::Logger::getRootLogger()->getLevel();
+        }
 
         void setLogLevel(l3pp::LogLevel level) {
             l3pp::Logger::getRootLogger()->setLevel(level);
@@ -42,7 +46,7 @@ namespace storm {
 #endif
             }
         }
-
+        
         void initializeFileLogging() {
             if (storm::settings::getModule<storm::settings::modules::DebugSettings>().isLogfileSet()) {
                 std::string logFileName = storm::settings::getModule<storm::settings::modules::DebugSettings>().getLogfilename();
diff --git a/src/storm/utility/initialize.h b/src/storm/utility/initialize.h
index fe67802d5..9d7c026a2 100644
--- a/src/storm/utility/initialize.h
+++ b/src/storm/utility/initialize.h
@@ -19,6 +19,11 @@ namespace storm {
          */
         void cleanUp();
 
+        /*!
+         * Gets the global log level
+         */
+        l3pp::LogLevel getLogLevel();
+
         /*!
          * Set the global log level
          */