From de7aaa3fff24eb179cf43908c208211ffb740e36 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 29 Jul 2019 17:05:39 +0200
Subject: [PATCH] Set Storm settings

---
 src/core/core.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/core/core.cpp b/src/core/core.cpp
index b5021ae..e9d074e 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -13,19 +13,19 @@ 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::initializeAll("stormpy", "stormpy");
             storm::settings::addModule<storm::settings::modules::CounterexampleGeneratorSettings>();
-            storm::settings::SettingsManager::manager().setFromString(args);
+            storm::settings::mutableManager().setFromString(args);
         }, "Initialize Storm", py::arg("arguments"));
-
+    m.def("set_settings", [](std::vector<std::string> const& args) {
+            storm::settings::mutableManager().setFromExplodedString(args);
+        }, "Set settings", 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) {