From 9f9b704611583042f2fb88887828000330da86c4 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 2 Aug 2017 18:47:38 +0200 Subject: [PATCH] slightly extended test in model instantiator --- tests/pars/test_model_instantiator.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/pars/test_model_instantiator.py b/tests/pars/test_model_instantiator.py index d520546..4ac38f5 100644 --- a/tests/pars/test_model_instantiator.py +++ b/tests/pars/test_model_instantiator.py @@ -10,6 +10,7 @@ class TestModelInstantiator: formulas = stormpy.parse_properties_for_prism_program("P=? [ F s=5 ]", program) model = stormpy.build_parametric_model(program, formulas) parameters = model.collect_probability_parameters() + assert len(parameters) == 2 instantiator = stormpy.pars.PDtmcInstantiator(model) point = {p: stormpy.RationalRF("0.4") for p in parameters}