From 19e7b75536aa1dc311147f6677aab5efb016f867 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 3 Mar 2019 19:31:51 -0800 Subject: [PATCH] set status optimal also on object Signed-off-by: Nikolaj Bjorner --- src/util/lp/lar_solver.cpp | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp index 5db041218..8e0ee89c6 100644 --- a/src/util/lp/lar_solver.cpp +++ b/src/util/lp/lar_solver.cpp @@ -570,7 +570,11 @@ lp_status lar_solver::maximize_term(unsigned j_or_term, m_mpq_lar_core_solver.m_r_x = backup; } TRACE("lar_solver", print_values(tout);); - return term_max == opt_val? lp_status::OPTIMAL :lp_status::FEASIBLE; + if (term_max == opt_val) { + set_status(lp_status::OPTIMAL); + return lp_status::OPTIMAL; + } + return lp_status::FEASIBLE; }