From 395fabe8671923cbebc1c6fdffc22f0757034063 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 29 Apr 2016 17:00:36 +0200
Subject: [PATCH] Set_up

Former-commit-id: 5cbfbb3e43059bbf1c3ea17b8e2b4eca59b5581c
---
 stormpy/src/core/core.cpp       | 16 +++++++++++++---
 stormpy/tests/core/test_core.py |  5 +++++
 2 files changed, 18 insertions(+), 3 deletions(-)
 create mode 100644 stormpy/tests/core/test_core.py

diff --git a/stormpy/src/core/core.cpp b/stormpy/src/core/core.cpp
index 13a5aab09..031fb5e87 100644
--- a/stormpy/src/core/core.cpp
+++ b/stormpy/src/core/core.cpp
@@ -6,11 +6,21 @@
 
 // Thin wrapper for initializing
 void setupStormLib(std::string const& args) {
-//    storm::utility::setUp();
-//    storm::settings::SettingsManager::manager().setFromString(args);
+    storm::utility::setUp();
+    storm::settings::SettingsManager::manager().setFromString(args);
 }
 
 void define_core(py::module& m) {
     
-    m.def("set_up", &setupStormLib);
+    m.def("set_up", &setupStormLib, "Initialize Storm");
+
+    m.def("parse_formulae", storm::parseFormulasForProgram, "Parse formula for program");
+    m.def("parse_program", storm::parseProgram, "Parse program");
+
+    //m.def("build_model", buildModel, return_value_policy<return_by_value>());
+
+    //m.def("build_model_from_prism_program", storm::buildSymbolicModel<double>);
+    //m.def("build_parametric_model_from_prism_program", storm::buildSymbolicModel<storm::RationalFunction>);
+
+
 }
diff --git a/stormpy/tests/core/test_core.py b/stormpy/tests/core/test_core.py
new file mode 100644
index 000000000..b740213e6
--- /dev/null
+++ b/stormpy/tests/core/test_core.py
@@ -0,0 +1,5 @@
+import stormpy
+
+class TestCore:
+    def test_init(self):
+        stormpy.set_up("")