From be653dab0efc13b20dd3a1f1be6ae1b88f4b71f8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 1 May 2022 15:21:45 -0700 Subject: [PATCH] init value --- src/opt/opt_cores.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/opt/opt_cores.cpp b/src/opt/opt_cores.cpp index 83cca8d5a..124df63d7 100644 --- a/src/opt/opt_cores.cpp +++ b/src/opt/opt_cores.cpp @@ -381,6 +381,7 @@ namespace opt { scoped_update _upd1(*this, "max_conflicts", UINT_MAX, m_max_conflicts); m_cores.reset(); m_weight.reset(); + m_best_cost = -1; for (expr* s : ctx.soft()) m_weight.insert(s, ctx.weight(s));