From ab6b481d78c6b126a2bd458e254726eae9181cee Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Tue, 21 Jun 2016 13:16:28 +0200
Subject: [PATCH] Initialize settings

Former-commit-id: 1f7a643559aedbfc8851f7a64288f13727dbcfad
---
 stormpy/src/core/core.cpp       | 1 +
 stormpy/tests/core/test_core.py | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/stormpy/src/core/core.cpp b/stormpy/src/core/core.cpp
index efbf508de..73f95873b 100644
--- a/stormpy/src/core/core.cpp
+++ b/stormpy/src/core/core.cpp
@@ -4,6 +4,7 @@ void define_core(py::module& m) {
     // Init
     m.def("set_up", [](std::string const& args) {
             storm::utility::setUp();
+            storm::settings::initializeAll("StoRM-Py", "stormpy");
             storm::settings::SettingsManager::manager().setFromString(args);
         }, "Initialize Storm", py::arg("arguments"));
 }
diff --git a/stormpy/tests/core/test_core.py b/stormpy/tests/core/test_core.py
index d711e12be..421df1808 100644
--- a/stormpy/tests/core/test_core.py
+++ b/stormpy/tests/core/test_core.py
@@ -1,10 +1,10 @@
-import stormpy
 
 class TestCore:
     def test_init(self):
-        stormpy.set_up("")
+        import stormpy
     
     def test_pycarl(self):
+        import stormpy
         import pycarl
         import pycarl.formula
         import pycarl.parse