mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

a small change in trace feas

Browse source
This commit is contained in:
Lev Nachmanson 2023-07-04 11:38:10 -07:00
parent 5ed2a82893
commit 75897b7a2e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/lp/lp_core_solver_base.h
View file

@ -56,7 +56,7 @@ private:
public: public:
bool current_x_is_feasible() const { bool current_x_is_feasible() const {
TRACE("feas", TRACE("feas",
if (m_inf_heap.size()) { if (!m_inf_heap.empty()) {
tout << "column " << *m_inf_heap.begin() << " is infeasible" << std::endl; tout << "column " << *m_inf_heap.begin() << " is infeasible" << std::endl;
print_column_info(*m_inf_heap.begin(), tout); print_column_info(*m_inf_heap.begin(), tout);
} else { } else {