From c634701b8fddc30fc2ae19988649c0fed86b0cc9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 20 Mar 2025 17:16:47 -1000 Subject: [PATCH] formatting Signed-off-by: Nikolaj Bjorner --- src/math/lp/dioph_eq.cpp | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 205aa84b8..6e7cf3cdb 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -2131,14 +2131,15 @@ namespace lp { do { init(f_vector); ret = process_f_and_tighten_terms(f_vector); - } while(ret == lia_move::continue_with_check); - - if (ret != lia_move::undef) { - return ret; } - if (lra.stats().m_dio_calls % lra.settings().dio_branching_period() == 0) { + while (ret == lia_move::continue_with_check); + + if (ret != lia_move::undef) + return ret; + + if (lra.stats().m_dio_calls % lra.settings().dio_branching_period() == 0) ret = branching_on_undef(); - } + m_max_of_branching_iterations = (unsigned)m_max_of_branching_iterations / 2; return ret; }