From 765c2b4ff38fcd0af9fbb4090d3f6956e39b084c Mon Sep 17 00:00:00 2001 From: Filip Macak Date: Mon, 25 Nov 2024 13:12:58 +0100 Subject: [PATCH] Fixed SMG model checking call in Smg class --- paynt/models/models.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/paynt/models/models.py b/paynt/models/models.py index 280a76f4..31ebb305 100644 --- a/paynt/models/models.py +++ b/paynt/models/models.py @@ -75,7 +75,7 @@ def __init__(self, model): def model_check_property(self, prop, alt=False): formula = prop.game_formula if not alt else prop.game_formula_alt - result = payntbind.synthesis.smg_model_checking(self.model, formula, + result = payntbind.synthesis.model_check_smg(self.model, formula, only_initial_states=False, set_produce_schedulers=True, env=paynt.verification.property.Property.environment)