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
+