From c883efc3722f76b835f410656a16942544702c9c Mon Sep 17 00:00:00 2001 From: Mavo Date: Fri, 4 Nov 2016 18:49:45 +0100 Subject: [PATCH] Property threshold is RationalNumber now Former-commit-id: e8a3afbaeb966f9b4d0f1dca967dc555430aad74 --- stormpy/tests/logic/test_formulas.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/stormpy/tests/logic/test_formulas.py b/stormpy/tests/logic/test_formulas.py index 57b27b626..2ed5d756a 100644 --- a/stormpy/tests/logic/test_formulas.py +++ b/stormpy/tests/logic/test_formulas.py @@ -1,3 +1,4 @@ +import pycarl import stormpy import stormpy.logic @@ -37,14 +38,14 @@ class TestFormulas: prop = "P<0.4 [F \"one\"]" formula = stormpy.parse_formulas(prop)[0] assert formula.has_bound() - assert formula.threshold == 0.4 + assert formula.threshold == pycarl.Rational("0.4") assert formula.comparison_type == stormpy.logic.ComparisonType.LESS def test_set_bounds(self): prop = "P<0.4 [F \"one\"]" formula = stormpy.parse_formulas(prop)[0] - formula.threshold = 0.2 + formula.threshold = pycarl.Rational("0.2") formula.comparison_type = stormpy.logic.ComparisonType.GEQ - assert formula.threshold == 0.2 + assert formula.threshold == pycarl.Rational("0.2") assert formula.comparison_type == stormpy.logic.ComparisonType.GEQ - assert str(formula) == "P>=0.2 [F \"one\"]" + assert str(formula) == "P>=1/5 [F \"one\"]"