From 30ad22a4ef6fd75ac2c19c580add117eb2c0bd78 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 11 Nov 2024 15:45:18 -0800 Subject: [PATCH] fix #7449 --- src/api/api_opt.cpp | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/src/api/api_opt.cpp b/src/api/api_opt.cpp index e8566aa84..556b1345b 100644 --- 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); + }