From 9272bffea49fd46b8603c201ecea161744a98f88 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 18 Jan 2017 18:41:46 +0100 Subject: [PATCH] extended test --- tests/core/test_modelchecking.py | 3 +++ tests/logic/test_formulas.py | 1 + 2 files changed, 4 insertions(+) diff --git a/tests/core/test_modelchecking.py b/tests/core/test_modelchecking.py index 7b515b6..b4097c1 100644 --- a/tests/core/test_modelchecking.py +++ b/tests/core/test_modelchecking.py @@ -64,3 +64,6 @@ class TestModelChecking: (prob0, prob1) = stormpy.compute_prob01_states(model, phiStates, psiStates) assert prob0.number_of_set_bits() == 9 assert prob1.number_of_set_bits() == 1 + labelprop = stormpy.core.Property("cora", formulaPsi.raw_formula) + result = stormpy.model_checking(model, labelprop) + assert result.get_truth_values().number_of_set_bits() == 1 diff --git a/tests/logic/test_formulas.py b/tests/logic/test_formulas.py index dfdc273..453d3f5 100644 --- a/tests/logic/test_formulas.py +++ b/tests/logic/test_formulas.py @@ -60,3 +60,4 @@ class TestFormulas: assert type(labelform) == stormpy.logic.AtomicLabelFormula prop = stormpy.core.Property("label-formula", labelform) assert prop.raw_formula == labelform +