From 7d8c3ffd6884db4ac59a3860759953b78169d013 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 21 Oct 2020 21:37:00 +0200 Subject: [PATCH] Avoid creating tmp file when testing examples --- examples/pomdp/01-pomdps.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/pomdp/01-pomdps.py b/examples/pomdp/01-pomdps.py index 322773c..32cf961 100644 --- a/examples/pomdp/01-pomdps.py +++ b/examples/pomdp/01-pomdps.py @@ -76,7 +76,7 @@ def example_parametric_models_01(): # apply the unknown FSC to obtain a pmc from the POMDP pmc = stormpy.pomdp.apply_unknown_fsc(pomdp, stormpy.pomdp.PomdpFscApplicationMode.simple_linear) - export_pmc = True # Set to True to export the pMC as drn. + export_pmc = False # Set to True to export the pMC as drn. if export_pmc: export_options = stormpy.core.DirectEncodingOptions() export_options.allow_placeholders = False