extended test

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

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
+