From bc1a2beebb25c6402e95d7d6aa20774bc01f1117 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Filip=20Mac=C3=A1k?= <44269023+TheGreatfpmK@users.noreply.github.com> Date: Thu, 26 Sep 2024 16:49:12 +0200 Subject: [PATCH] Fix double free problem when working with interactive belief explorer (#185) * Fixing SAYNT double free problem * Remove GIL release * bumped the required Storm version --- setup.py | 2 +- src/pomdp/quantitative_analysis.cpp | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/setup.py b/setup.py index 633d211ec..d7eb1580b 100755 --- a/setup.py +++ b/setup.py @@ -13,7 +13,7 @@ sys.exit('Sorry, Python 2.x is not supported') # Minimal storm version required -storm_min_version = "1.9.0" +storm_min_version = "1.9.1" # Get the long description from the README file with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f: diff --git a/src/pomdp/quantitative_analysis.cpp b/src/pomdp/quantitative_analysis.cpp index eec6cb5ff..33accf81d 100644 --- a/src/pomdp/quantitative_analysis.cpp +++ b/src/pomdp/quantitative_analysis.cpp @@ -30,6 +30,7 @@ void define_belief_exploration(py::module& m, std::string const& vtSuffix) { belmc.def("get_status", &BeliefExplorationPomdpModelChecker::getStatus); belmc.def("get_interactive_belief_explorer", &BeliefExplorationPomdpModelChecker::getInteractiveBeliefExplorer); belmc.def("has_converged", &BeliefExplorationPomdpModelChecker::hasConverged); + belmc.def("set_fsc_values", &BeliefExplorationPomdpModelChecker::setFMSchedValueList, py::arg("value_list")); py::class_, ValueType>> belmdpexpl(m, ("BeliefMdpExplorer" + vtSuffix).c_str()); belmdpexpl.def("set_fsc_values", &storm::builder::BeliefMdpExplorer, ValueType>::setFMSchedValueList, py::arg("value_list"));