disable bound validation in debug mode

NikolajBjorner · NikolajBjorner · commit e6385f8c858e · 2023-11-07T20:49:26.000+01:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git 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;            

Original file line number	Diff line number	Diff line change
`@@ -1927,7 +1927,7 @@ namespace lp {`
`1927`	`1927`	`ls.add_var_bound(tv, c.kind(), c.rhs());`
`1928`	`1928`	`}`
`1929`	`1929`	`void lar_solver::update_column_type_and_bound(unsigned j, lconstraint_kind kind, const mpq& right_side, u_dependency* dep) {`
`1930`		`- SASSERT(validate_bound(j, kind, right_side, dep));`
	`1930`	`+ // SASSERT(validate_bound(j, kind, right_side, dep));`
`1931`	`1931`	`TRACE(`
`1932`	`1932`	`"lar_solver_feas",`
`1933`	`1933`	`tout << "j" << j << " " << lconstraint_kind_string(kind) << " " << right_side << std::endl;`