From 19f8d472027ae401a9ab0cbf871d1a22e7f8b6d2 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 9 Aug 2017 16:54:16 +0200 Subject: [PATCH] Fixed import problem in tests when storm-pars is not available --- tests/pars/test_parametric.py | 2 -- tests/pars/test_pla.py | 1 - 2 files changed, 3 deletions(-) diff --git a/tests/pars/test_parametric.py b/tests/pars/test_parametric.py index 9b7a41d..6e14570 100644 --- a/tests/pars/test_parametric.py +++ b/tests/pars/test_parametric.py @@ -8,8 +8,6 @@ from configurations import pars @pars class TestParametric: - import stormpy.pars - def test_constraints_collector(self): from pycarl.formula import FormulaType, Relation if stormpy.info.storm_ratfunc_use_cln(): diff --git a/tests/pars/test_pla.py b/tests/pars/test_pla.py index 4c3a255..314ce14 100644 --- a/tests/pars/test_pla.py +++ b/tests/pars/test_pla.py @@ -8,7 +8,6 @@ from configurations import pars @pars class TestPLA: def test_pla(self): - import stormpy.pars program = stormpy.parse_prism_program(get_example_path("pdtmc", "brp16_2.pm")) prop = "P<=0.84 [F s=5 ]" formulas = stormpy.parse_properties_for_prism_program(prop, program)