From d8fd39cdc59a80cf49f8fc76dab45b0b0f8ccc4c Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Mon, 13 Jul 2020 21:21:54 -0700 Subject: [PATCH] fix problem by clearing variable pools? --- examples/pomdp/01-pomdps.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/examples/pomdp/01-pomdps.py b/examples/pomdp/01-pomdps.py index 854c7c3..e6671d4 100644 --- a/examples/pomdp/01-pomdps.py +++ b/examples/pomdp/01-pomdps.py @@ -26,6 +26,8 @@ def example_parametric_models_01(): else: import pycarl.gmp.formula + # Prevent curious side effects from earlier runs (for tests only) + pycarl.clear_pools() ### # How to apply an unknown FSC to obtain a pMC from a POMDP path = stormpy.examples.files.prism_pomdp_maze @@ -68,10 +70,7 @@ def example_parametric_models_01(): # apply the memory onto the POMDP to get the cartesian product pomdp = stormpy.pomdp.unfold_memory(pomdp, memory) # apply the unknown FSC to obtain a pmc from the POMDP - if False: - # Currently, this command is known to cause problems in combination with running some other tests. - # While we are investigating, we do not run the code - pmc = stormpy.pomdp.apply_unknown_fsc(pomdp, stormpy.pomdp.PomdpFscApplicationMode.simple_linear) + pmc = stormpy.pomdp.apply_unknown_fsc(pomdp, stormpy.pomdp.PomdpFscApplicationMode.simple_linear) export_pmc = False # Set to True to export the pMC as drn. if export_pmc: