From ce2405aab603e1a53a2a69032604cf1422fd790b Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 25 Dec 2025 11:33:32 -1000
Subject: [PATCH] assert entry_invariant only when all changes are done

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 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 a791cbd07..09239395f 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -988,7 +988,6 @@ namespace lp {
             if (belongs_to_s(ei)) {
                 remove_from_S(ei);
             }
-            SASSERT(entry_invariant(ei));
         }
 
         void find_changed_terms_and_more_changed_rows() {
@@ -1099,6 +1098,7 @@ namespace lp {
             m_changed_f_columns.reset();
             m_changed_rows.reset();
             m_changed_terms.reset();
+            SASSERT(entries_are_ok());
         }
 
         int get_sign_in_e_row(unsigned ei, unsigned j) const {