DT synthesis: fix termination condition

randriu · Sep 27, 2024 · b3f72c6 · b3f72c6
1 parent 5762814
commit b3f72c6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/paynt/synthesizer/decision_tree.py b/paynt/synthesizer/decision_tree.py
@@ -209,7 +209,9 @@ def map_scheduler(self, scheduler_choices, opt_result_value):
                 self.best_tree = self.quotient.decision_tree
                 self.best_tree.root.associate_assignment(self.best_assignment)
                 self.best_tree_value = self.best_assignment_value
-                if abs( (self.best_assignment_value-opt_result_value)/opt_result_value ) < 1e-4:
+                if consistent:
+                    break
+                if not disable_counterexamples and abs( (self.best_assignment_value-opt_result_value)/opt_result_value ) < 1e-4:
                     break
 
             if self.resource_limit_reached():