From 2bb610885a815e6b7c70a6129090d9c4d2498ad7 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 18 Jul 2018 16:28:52 +0200
Subject: [PATCH] initialise counterexample settings

---
 src/core/core.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/core/core.cpp b/src/core/core.cpp
index b592420..7b05c3b 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -6,13 +6,14 @@
 #include "storm/solver/OptimizationDirection.h"
 #include "storm/models/symbolic/StandardRewardModel.h"
 #include "storm-parsers/api/storm-parsers.h"
-
+#include "storm-counterexamples/settings/modules/CounterexampleGeneratorSettings.h"
 
 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::addModule<storm::settings::modules::CounterexampleGeneratorSettings>();
             storm::settings::SettingsManager::manager().setFromString(args);
         }, "Initialize Storm", py::arg("arguments"));