From a28f55a3bce462c1cf8b7a2589c68a56f4f8583f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 1 Jul 2025 14:14:30 -0700 Subject: [PATCH] log scope level of lemma --- src/math/lp/nla_core.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp index 34084700e..5a74f882f 100644 --- a/src/math/lp/nla_core.cpp +++ b/src/math/lp/nla_core.cpp @@ -1063,7 +1063,7 @@ lemma_builder::~lemma_builder() { if (current().is_conflict()) { c.m_conflicts++; } - IF_VERBOSE(4, verbose_stream() << name << "\n"); + IF_VERBOSE(4, verbose_stream() << name << " " << c.lra.get_scope_level() << "\n"); IF_VERBOSE(4, verbose_stream() << *this << "\n"); TRACE(nla_solver, tout << name << " " << (++i) << "\n" << *this; ); }