From 72bbb161b3fdce22a48b6289461c9d432b473c69 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 5 Apr 2019 11:50:01 +0200 Subject: [PATCH] Removed print statement in tests --- tests/storage/test_expressions.py | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/tests/storage/test_expressions.py b/tests/storage/test_expressions.py index 0e82122..8ba8e4c 100644 --- a/tests/storage/test_expressions.py +++ b/tests/storage/test_expressions.py @@ -36,6 +36,8 @@ class TestExpressions: manager = stormpy.ExpressionManager() ep = stormpy.ExpressionParser(manager) ep.set_identifier_mapping(dict()) - print(ep.parse("true")) - print(ep.parse("1.0")) - assert ep.parse("1.0").has_rational_type() + ex_true = ep.parse("true") + assert str(ex_true) == "true" + ex_one = ep.parse("1.0") + assert str(ex_one) == "1" + assert ex_one.has_rational_type()