Fixed SMG model checking call in Smg class

randriu · Nov 25, 2024 · 765c2b4 · 765c2b4
1 parent 77dfa60
commit 765c2b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)