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().isLogfileSet()) { std::string logFileName = storm::settings::getModule().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 */