From 0b2b6b13061c1fccf4dac1c295d73813d169c522 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 25 Sep 2018 13:33:30 -0700 Subject: [PATCH] assert all_constraints_hold() rarely Signed-off-by: Lev Nachmanson --- src/util/lp/lar_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp index 56a61177c..a9bdf19d1 100644 --- a/src/util/lp/lar_solver.cpp +++ b/src/util/lp/lar_solver.cpp @@ -782,7 +782,7 @@ void lar_solver::solve_with_core_solver() { update_x_and_inf_costs_for_columns_with_changed_bounds(); m_mpq_lar_core_solver.solve(); set_status(m_mpq_lar_core_solver.m_r_solver.get_status()); - lp_assert(m_status != lp_status::OPTIMAL || all_constraints_hold()); + lp_assert((m_settings.random_next() % 100) != 0 || m_status != lp_status::OPTIMAL || all_constraints_hold()); }