From 19677815271fcf510b628091a9d46cc9be8a741e Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 5 Oct 2018 17:48:37 +0200 Subject: [PATCH] add (failing) prism to jani test --- tests/storage/test_prism.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 tests/storage/test_prism.py diff --git a/tests/storage/test_prism.py b/tests/storage/test_prism.py new file mode 100644 index 0000000..7ea3fa0 --- /dev/null +++ b/tests/storage/test_prism.py @@ -0,0 +1,12 @@ +import stormpy +import stormpy.logic +from helpers.helper import get_example_path +import pytest + +class TestPrism: + def test_prism_to_jani(self): + program = stormpy.parse_prism_program(get_example_path("dtmc", "die.pm")) + orig_properties = stormpy.parse_properties_for_prism_program("P=? [F \"two\"]", program) + assert len(orig_properties) == 1 + jani_model, new_properties = program.to_jani(orig_properties) + assert len(new_properties) == len(orig_properties)