From 2d12874f3023c8f10e157051f914d2cd0b33cdd2 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 18 Apr 2019 21:06:26 -0700 Subject: [PATCH] fix errors in cube rounding Signed-off-by: Lev Nachmanson --- src/util/lp/lar_solver.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/util/lp/lar_solver.cpp b/src/util/lp/lar_solver.cpp index 6cee53cbb..4c7cd2d94 100644 --- a/src/util/lp/lar_solver.cpp +++ b/src/util/lp/lar_solver.cpp @@ -875,6 +875,8 @@ void lar_solver::update_x_and_inf_costs_for_columns_with_changed_bounds_tableau( } void lar_solver::fix_Ax_b_on_rounded_row(unsigned i) { + if (A_r().m_rows[i].size() <= i) + return; unsigned bj = m_mpq_lar_core_solver.m_r_basis[i]; auto& v = m_mpq_lar_core_solver.m_r_x[bj]; v = zero_of_type>();