From d5162d92ad3e488f4265505918a7c0ceccbc2ddc Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 27 Apr 2020 17:34:05 -0700
Subject: [PATCH] add an assert

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/lar_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index c5396b2f9..bbfa35196 100644
--- 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) {