From 0e4898be1c3fa1633a96d965e42edfa308d0888d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 30 Jul 2026 19:38:09 -0700 Subject: [PATCH] Update verbose_stream output in sat_asymm_branch.cpp Refactor verbose_stream output to include memory statistics. --- src/sat/sat_asymm_branch.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/sat/sat_asymm_branch.cpp b/src/sat/sat_asymm_branch.cpp index 8a6ba3732c..4c7aeca916 100644 --- a/src/sat/sat_asymm_branch.cpp +++ b/src/sat/sat_asymm_branch.cpp @@ -68,7 +68,9 @@ namespace sat { if (num_learned > 0) verbose_stream() << " :elim-learned-literals " << num_learned; if (num_units > 0) verbose_stream() << " :units " << num_units; if (tr > 0) verbose_stream() << " :hte " << tr; - verbose_stream() << " :cost " << m_asymm_branch.m_counter << ")\n";); + verbose_stream() << " :cost " << m_asymm_branch.m_counter; + verbose_stream() << mem_stat(); + verbose_stream() << m_watch << ")\n";); } };