From b85f6ae1dad8173501e7b53b2f5bf4d282a11b21 Mon Sep 17 00:00:00 2001 From: Tom Janson Date: Sun, 18 Dec 2016 01:05:54 +0100 Subject: [PATCH] fix KSP test model fixture scope --- tests/utility/test_shortestpaths.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/utility/test_shortestpaths.py b/tests/utility/test_shortestpaths.py index 102b5fc..217f780 100644 --- a/tests/utility/test_shortestpaths.py +++ b/tests/utility/test_shortestpaths.py @@ -7,8 +7,8 @@ from helpers.helper import get_example_path import pytest -@pytest.fixture -def test_model(scope="module", program_path=get_example_path("dtmc", "die.pm"), raw_formula="P=? [ F \"one\" ]"): +@pytest.fixture(scope="module") +def test_model(program_path=get_example_path("dtmc", "die.pm"), raw_formula="P=? [ F \"one\" ]"): program = stormpy.parse_prism_program(program_path) formulas = stormpy.parse_formulas_for_prism_program(raw_formula, program) test_model = stormpy.build_model(program, formulas[0])