From 5f4bcfa61c9a3a67db45eb00f60461ef501c153b Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 8 Jun 2018 13:15:50 +0200
Subject: [PATCH] switches for debug output

---
 src/core/core.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/core/core.cpp b/src/core/core.cpp
index dddb7d6..676f1aa 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -11,6 +11,15 @@ void define_core(py::module& m) {
             storm::settings::initializeAll("StoRM-Py", "stormpy");
             storm::settings::SettingsManager::manager().setFromString(args);
         }, "Initialize Storm", py::arg("arguments"));
+
+    m.def("_set_loglevel_debug", []() {
+        storm::utility::setLogLevel(l3pp::LogLevel::DEBUG);
+    }, "set loglevel for storm to debug");
+    m.def("_set_loglevel_trace", []() {
+        storm::utility::setLogLevel(l3pp::LogLevel::TRACE);
+    });
+
+
 }
 
 void define_parse(py::module& m) {