From 0a177784c4d89807c470a5cb8024d1caf93f6699 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 10 Jul 2024 13:32:13 +0200 Subject: [PATCH] Adaption to changes in Storm (moves-rwth/storm#575) --- tests/logic/test_formulas.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/logic/test_formulas.py b/tests/logic/test_formulas.py index 026961ba6..209f30e6a 100644 --- 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"))