From da97ba15909014b1f3a15428ccdc45888712050d Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 18 Dec 2019 15:48:30 +0100 Subject: [PATCH] a bit better examples --- examples/building_models/03-building-models.py | 4 ++-- examples/parametric_models/03-parametric-models.py | 4 ++++ 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/examples/building_models/03-building-models.py b/examples/building_models/03-building-models.py index 0068c34..d7005ad 100644 --- a/examples/building_models/03-building-models.py +++ b/examples/building_models/03-building-models.py @@ -5,7 +5,7 @@ import stormpy.examples import stormpy.examples.files -def example_building_models_01(): +def example_building_models_03(): path = stormpy.examples.files.prism_pdtmc_brp prism_program = stormpy.parse_prism_program(path) formula_str = "P=? [F s=5]" @@ -27,4 +27,4 @@ def example_building_models_01(): if __name__ == '__main__': - example_building_models_01() + example_building_models_03() diff --git a/examples/parametric_models/03-parametric-models.py b/examples/parametric_models/03-parametric-models.py index 15bc8dc..2eac767 100644 --- a/examples/parametric_models/03-parametric-models.py +++ b/examples/parametric_models/03-parametric-models.py @@ -7,6 +7,10 @@ import stormpy.examples import stormpy.examples.files def example_parametric_models_03(): + if not config.storm_with_pars: + print("Support parameters is missing. Try building storm-pars.") + return + path = stormpy.examples.files.prism_dtmc_brp prism_program = stormpy.parse_prism_program(path)