From c64321c2e466e58d8df49b2ed1fa6a8416ef2bc0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 16 Jun 2018 11:22:58 -0700 Subject: [PATCH] debugging maxres bug report Signed-off-by: Nikolaj Bjorner --- src/opt/maxres.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/opt/maxres.cpp b/src/opt/maxres.cpp index d49044d8d..e3777ee9b 100644 --- a/src/opt/maxres.cpp +++ b/src/opt/maxres.cpp @@ -781,9 +781,8 @@ public: bool is_true(expr_ref_vector const& es) { unsigned i = 0; for (; i < es.size() && is_true(es[i]); ++i) { } - CTRACE("opt", i < es.size(), tout << mk_pp(es[i], m) << "\n"; - model_smt2_pp(tout, m, *m_model, 0); - ); + CTRACE("opt_bug", i < es.size(), tout << mk_pp(es[i], m) << "\n"; + model_smt2_pp(tout, m, *m_model, 0);); return i == es.size(); }