From 2528daeb40f0c7daacd441b91ab8f3aaaf97eeeb Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 2 Oct 2017 10:42:36 +0200 Subject: [PATCH] Removed old test code --- tests/core/test_modelchecking.py | 6 ------ 1 file changed, 6 deletions(-) diff --git a/tests/core/test_modelchecking.py b/tests/core/test_modelchecking.py index 676b95f..3a246c0 100644 --- a/tests/core/test_modelchecking.py +++ b/tests/core/test_modelchecking.py @@ -69,12 +69,6 @@ class TestModelChecking: func = result.at(initial_state) one = stormpy.FactorizedPolynomial(stormpy.RationalRF(1)) assert func.denominator == one - # constraints_well_formed = result.constraints_well_formed - # for constraint in constraints_well_formed: - # assert constraint.rel() == pycarl.formula.Relation.GEQ or constraint.rel() == pycarl.formula.Relation.LEQ - # constraints_graph_preserving = result.constraints_graph_preserving - # for constraint in constraints_graph_preserving: - # assert constraint.rel() == pycarl.formula.Relation.GREATER def test_model_checking_prob01(self): program = stormpy.parse_prism_program(get_example_path("dtmc", "die.pm"))