force store result only for the one-by-one evaluation

randriu · Jun 15, 2024 · c1cf79c · c1cf79c
1 parent d57acf1
commit c1cf79c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/paynt/synthesizer/synthesizer_onebyone.py b/paynt/synthesizer/synthesizer_onebyone.py
@@ -32,6 +32,10 @@ def synthesize_one(self, family):
 
     def evaluate_all(self, family, prop, keep_value_only=False):
 
+        if not keep_value_only:
+            logger.debug("forcing keep_value_only=True for the one-by-one evaluation")
+            keep_value_only = True
+
         evaluations = []
         for hole_combination in family.all_combinations():
             assignment = family.construct_assignment(hole_combination)