mirror of
https://github.com/Z3Prover/z3
synced 2025-04-12 12:08:18 +00:00
remove an assert
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
35e3df49e2
commit
97fe2c8609
|
@ -466,7 +466,6 @@ void lar_solver::prepare_costs_for_r_solver(const lar_term & term) {
|
||||||
}
|
}
|
||||||
|
|
||||||
void lar_solver::move_non_basic_columns_to_bounds() {
|
void lar_solver::move_non_basic_columns_to_bounds() {
|
||||||
SASSERT(get_status() == lp_status::OPTIMAL || get_status() == lp_status::FEASIBLE);
|
|
||||||
auto & lcs = m_mpq_lar_core_solver;
|
auto & lcs = m_mpq_lar_core_solver;
|
||||||
bool change = false;
|
bool change = false;
|
||||||
for (unsigned j : lcs.m_r_nbasis) {
|
for (unsigned j : lcs.m_r_nbasis) {
|
||||||
|
|
Loading…
Reference in a new issue