Adaption to changes in Storm (moves-rwth/storm#575)

moves-rwth · Jul 10, 2024 · 0a17778 · 0a17778
1 parent 496a031
commit 0a17778
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/logic/test_formulas.py b/tests/logic/test_formulas.py
@@ -17,7 +17,7 @@ def test_reward_formula(self):
         formula = properties[0].raw_formula
         assert type(formula) == stormpy.logic.RewardOperator
         assert len(properties) == 1
-        assert str(formula) == "R[exp]=? [F \"one\"]"
+        assert str(formula) == "R=? [F \"one\"]"
 
     def test_formula_list(self):
         formulas = []
@@ -28,7 +28,7 @@ def test_formula_list(self):
         formulas.append(forms[0].raw_formula)
         assert len(formulas) == 2
         assert str(formulas[0]) == "P" + prop
-        assert str(formulas[1]) == "R[exp]" + prop
+        assert str(formulas[1]) == "R" + prop
 
     def test_jani_formula(self):
         _, properties = stormpy.parse_jani_model(get_example_path("dtmc", "die.jani"))