From 4e20a21fd031112a46040ea56d59a2416e33801d Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 30 Mar 2017 18:07:29 +0200 Subject: [PATCH] Add possibility to build from prism without formula --- lib/stormpy/__init__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py index a3d488a..c2ff341 100644 --- a/lib/stormpy/__init__.py +++ b/lib/stormpy/__init__.py @@ -17,9 +17,9 @@ def build_model(program, properties=None): """ if properties: formulae = [prop.raw_formula for prop in properties] + intermediate = core._build_sparse_model_from_prism_program(program, formulae) else: - formulae = [] - intermediate = core._build_sparse_model_from_prism_program(program, formulae) + intermediate = core._build_sparse_model_from_prism_program(program) assert not intermediate.supports_parameters if intermediate.model_type == ModelType.DTMC: return intermediate._as_dtmc()