mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00
Code Activity

remove an assert

Browse source
This commit is contained in:
Lev Nachmanson 2023-11-02 07:15:17 -07:00 committed by Lev Nachmanson
parent ca6cb0af95
commit bdf1fcf5c1
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/math/lp/lp_primal_core_solver_tableau_def.h
View file

@ -53,7 +53,6 @@ template <typename T, typename X> void lp_primal_core_solver<T, X>::advance_on_e
}
else {
this->m_nbasis_sort_counter--;
SASSERT(non_basis_is_correctly_represented_in_heading(&m_non_basis_list));
}
unsigned number_of_benefitial_columns_to_go_over = get_number_of_non_basic_column_to_try_for_enter();