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)