From e6385f8c858e6ff2b7e55d7f97f0d9767d8e3ba2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 7 Nov 2023 20:49:26 +0100 Subject: [PATCH] disable bound validation in debug mode Signed-off-by: Nikolaj Bjorner --- src/math/lp/lar_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp index dcdc12249..aca888d18 100644 --- a/src/math/lp/lar_solver.cpp +++ b/src/math/lp/lar_solver.cpp @@ -1927,7 +1927,7 @@ namespace lp { ls.add_var_bound(tv, c.kind(), c.rhs()); } void lar_solver::update_column_type_and_bound(unsigned j, lconstraint_kind kind, const mpq& right_side, u_dependency* dep) { - SASSERT(validate_bound(j, kind, right_side, dep)); + // SASSERT(validate_bound(j, kind, right_side, dep)); TRACE( "lar_solver_feas", tout << "j" << j << " " << lconstraint_kind_string(kind) << " " << right_side << std::endl;