From fc11b7cb9e2748a1f1247777859bad7b3ecca1e2 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 4 Dec 2025 11:39:29 -1000 Subject: [PATCH] remove debug instruction Signed-off-by: Lev Nachmanson --- src/nlsat/nlsat_solver.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp index 02447dbca..84ddd8864 100644 --- a/src/nlsat/nlsat_solver.cpp +++ b/src/nlsat/nlsat_solver.cpp @@ -1146,10 +1146,10 @@ namespace nlsat { used_vars[v] = true; } display(out << "(echo \"#" << m_lemma_count++ << ":" << annotation << ":", n, cls) << "\")\n"; - if (m_lemma_count == 60) { + /* if (m_lemma_count == 60) { enable_trace("lws"); enable_trace("nlsat_explain"); - } + }*/ if (m_log_lemma_smtrat) out << "(set-logic NRA)\n"; else @@ -1163,10 +1163,10 @@ namespace nlsat { for (unsigned i = 0; i < n; ++i) display_smt2(out << "(assert ", ~cls[i]) << ")\n"; out << "(check-sat)\n(reset)\n"; - if (m_lemma_count == 62) { + /* if (m_lemma_count == 62) { std::cout << "early exit\n"; exit(1); - } + } */ } clause * mk_clause_core(unsigned num_lits, literal const * lits, bool learned, _assumption_set a) {