From 41a00707e10ae683e60e8d19dc1c7a1b104828cc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 10 Jan 2020 13:23:24 -0800 Subject: [PATCH] local Signed-off-by: Nikolaj Bjorner --- src/sat/sat_aig_cuts.cpp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/sat/sat_aig_cuts.cpp b/src/sat/sat_aig_cuts.cpp index a6fb24ebb..2097d2c7a 100644 --- a/src/sat/sat_aig_cuts.cpp +++ b/src/sat/sat_aig_cuts.cpp @@ -42,11 +42,12 @@ namespace sat { if (m_aig[id].empty()) { continue; } - IF_VERBOSE(3, m_cuts[id].display(verbose_stream() << "augment " << id << "\nbefore\n")); + bool t = false; for (node const& n : m_aig[id]) { - augment(id, n); + IF_VERBOSE(3, if (!t && is_touched(n)) { t = true; m_cuts[id].display(verbose_stream() << "augment " << id << "\nbefore\n"); }); + augment(id, n); } - IF_VERBOSE(3, m_cuts[id].display(verbose_stream() << "after\n")); + IF_VERBOSE(3, if (t) m_cuts[id].display(verbose_stream() << "after\n")); } }