From 98e61814f8f0fd18ac88f219c19d2cbd000c3878 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 7 Dec 2018 13:12:02 +0100 Subject: [PATCH] fix test to use new capitalised operators --- tests/utility/test_smtsolver.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tests/utility/test_smtsolver.py b/tests/utility/test_smtsolver.py index 7655f3a..39fb265 100644 --- a/tests/utility/test_smtsolver.py +++ b/tests/utility/test_smtsolver.py @@ -22,8 +22,8 @@ class TestSmtSolver(): manager = stormpy.ExpressionManager() x = manager.create_integer_variable("x") xe = x.get_expression() - c1 = stormpy.Expression.geq(xe, manager.create_integer(1)) - c2 = stormpy.Expression.less(xe, manager.create_integer(0)) + c1 = stormpy.Expression.Geq(xe, manager.create_integer(1)) + c2 = stormpy.Expression.Less(xe, manager.create_integer(0)) solver = stormpy.utility.Z3SmtSolver(manager) solver.add(c1) solver.add(c2) @@ -33,8 +33,8 @@ class TestSmtSolver(): manager = stormpy.ExpressionManager() x = manager.create_integer_variable("x") xe = x.get_expression() - c1 = stormpy.Expression.geq(xe, manager.create_integer(1)) - c2 = stormpy.Expression.less(xe, manager.create_integer(0)) + c1 = stormpy.Expression.Geq(xe, manager.create_integer(1)) + c2 = stormpy.Expression.Less(xe, manager.create_integer(0)) solver = stormpy.utility.Z3SmtSolver(manager) solver.add(c1) solver.add(c2) @@ -44,8 +44,8 @@ class TestSmtSolver(): manager = stormpy.ExpressionManager() x = manager.create_integer_variable("x") xe = x.get_expression() - c1 = stormpy.Expression.geq(xe, manager.create_integer(1)) - c2 = stormpy.Expression.less(xe, manager.create_integer(2)) + c1 = stormpy.Expression.Geq(xe, manager.create_integer(1)) + c2 = stormpy.Expression.Less(xe, manager.create_integer(2)) solver = stormpy.utility.Z3SmtSolver(manager) solver.add(c1) solver.add(c2)