From 32028083fbadbe534cf77b4074197870568eb37e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 16 Mar 2025 10:42:41 -0700 Subject: [PATCH] fix bug introduced while absstracting m_conflict_index Signed-off-by: Nikolaj Bjorner --- src/math/lp/dioph_eq.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index bbc98927d..c6570eada 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -496,7 +496,7 @@ namespace lp { unsigned m_conflict_index = UINT_MAX; // the row index of the conflict void reset_conflict() { m_conflict_index = UINT_MAX; } - bool has_conflict() const { return m_conflict_index == UINT_MAX; } + bool has_conflict() const { return m_conflict_index != UINT_MAX; } void set_rewrite_conflict(unsigned idx) { SASSERT(idx != UINT_MAX); m_conflict_index = idx; lra.stats().m_dio_rewrite_conflicts++; } unsigned m_max_of_branching_iterations = 0; unsigned m_number_of_branching_calls;