remove cached family from the processed fmaily

randriu · Jan 15, 2024 · 1fbb610 · 1fbb610
1 parent d8d6e07
commit 1fbb610
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/paynt/synthesizer/policy_tree.py b/paynt/synthesizer/policy_tree.py
@@ -682,6 +682,7 @@ def evaluate_all(self, family, prop, keep_value_only=False):
             policy_tree_node = undecided_leaves.pop(-1)
             family = policy_tree_node.family
             result = self.verify_family(family,game_solver,prop)
+            family.candidate_policy = None
 
             if result.policy is not None:
                 self.explore(family)