avoid dupplication in top_decision_queue

SRI-CSL · Mar 11, 2024 · bd2daab · bd2daab
1 parent 6734860
commit bd2daab
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/mcsat/solver.c b/src/mcsat/solver.c
@@ -632,6 +632,11 @@ void mcsat_plugin_context_gc(plugin_context_t* self) {
 
 static inline
 void mcsat_add_top_decision(mcsat_solver_t* mcsat, variable_t x) {
+  for (int i = 0; i < mcsat->top_decision_vars.size; ++i) {
+    if (mcsat->top_decision_vars.data[i] == x) {
+      return;
+    }
+  }
   ivector_push(&mcsat->top_decision_vars, x);
 }