From 02364bb26211746ab6a9b878e728699d3b86d39a Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Mon, 13 Jul 2020 20:55:47 -0700 Subject: [PATCH] prevent problematic code --- examples/pomdp/01-pomdps.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/examples/pomdp/01-pomdps.py b/examples/pomdp/01-pomdps.py index 2e7a3c1..854c7c3 100644 --- a/examples/pomdp/01-pomdps.py +++ b/examples/pomdp/01-pomdps.py @@ -68,7 +68,10 @@ 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 - pmc = stormpy.pomdp.apply_unknown_fsc(pomdp, stormpy.pomdp.PomdpFscApplicationMode.simple_linear) + 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) export_pmc = False # Set to True to export the pMC as drn. if export_pmc: