add an assert

levnach · levnach · commit d5162d92ad3e · 2020-04-28T15:27:49.000-07:00
Signed-off-by: Lev Nachmanson &lt;levnach@hotmail.com&gt;
diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
@@ -466,6 +466,7 @@ void lar_solver::prepare_costs_for_r_solver(const lar_term & term) {
 }
 
 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;
     bool change = false;
     for (unsigned j : lcs.m_r_nbasis) {

Original file line number	Diff line number	Diff line change
`@@ -466,6 +466,7 @@ void lar_solver::prepare_costs_for_r_solver(const lar_term & term) {`
`466`	`466`	`}`
`467`	`467`
`468`	`468`	`void lar_solver::move_non_basic_columns_to_bounds() {`
	`469`	`+ SASSERT(get_status() == lp_status::OPTIMAL \|\| get_status() == lp_status::FEASIBLE);`
`469`	`470`	`auto & lcs = m_mpq_lar_core_solver;`
`470`	`471`	`bool change = false;`
`471`	`472`	`for (unsigned j : lcs.m_r_nbasis) {`