fix #7449

Z3Prover · Nov 11, 2024 · 30ad22a · 30ad22a
1 parent 879bb4b
commit 30ad22a
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/src/api/api_opt.cpp b/src/api/api_opt.cpp
@@ -370,9 +370,14 @@ extern "C" {
             return;
         }
 
-        for (expr * e : ctx->assertions()) {
-            to_optimize_ptr(opt)->add_hard_constraint(e);
-        }
+        auto o = to_optimize_ptr(opt);
+
+        for (auto const& [asr, an] : ctx->tracked_assertions())
+            if (an)
+                o->add_hard_constraint(asr, an);
+            else
+                o->add_hard_constraint(asr);
+
     }