From c3d026544dfa2dee2bbe76fbd3330daf0fb70bc1 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 12 Oct 2017 11:42:43 +0200 Subject: [PATCH] Check if storm-pars is supported in examples --- examples/04-getting-started.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/examples/04-getting-started.py b/examples/04-getting-started.py index f8dc826..a5c0d60 100644 --- a/examples/04-getting-started.py +++ b/examples/04-getting-started.py @@ -1,6 +1,5 @@ import stormpy import stormpy.core -import stormpy.pars import pycarl import pycarl.core @@ -8,8 +7,16 @@ import pycarl.core import stormpy.examples import stormpy.examples.files +import stormpy._config as config + def example_getting_started_04(): + # Check support for parameters + if not config.storm_with_pars: + print("Support parameters is missing. Try building storm-pars.") + return + + import stormpy.pars path = stormpy.examples.files.prism_pdtmc_die prism_program = stormpy.parse_prism_program(path)