From d94c66fcaa640a4bc4aa67db5cc6e4ff76a9dd8f Mon Sep 17 00:00:00 2001 From: Sebastian Junges <sebastian.junges@rwth-aachen.de> Date: Wed, 26 Apr 2017 13:48:29 +0200 Subject: [PATCH] fixed: Nofixdl was always set in JIT --- src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp index 96c2738ed..3135fe4a0 100644 --- a/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp +++ b/src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp @@ -538,7 +538,11 @@ namespace storm { } modelData["double"] = cpptempl::make_data(list); - modelData["dontFixDeadlocks"] = storm::settings::getModule<storm::settings::modules::CoreSettings>().isDontFixDeadlocksSet(); + list = cpptempl::data_list(); + if (storm::settings::getModule<storm::settings::modules::CoreSettings>().isDontFixDeadlocksSet()) { + list.push_back(cpptempl::data_map()); + } + modelData["dontFixDeadlocks"] = cpptempl::make_data(list); // If we are building a possibly parametric model, we need to create the parameters. if (std::is_same<storm::RationalFunction, ValueType>::value) {