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