aig roots

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 10, 2020 · 9064e58 · 9064e58
1 parent 607a1b3
commit 9064e58
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/sat/sat_aig_cuts.cpp b/src/sat/sat_aig_cuts.cpp
@@ -251,6 +251,7 @@ namespace sat {
                 augment_aig0(n, m_cuts[v]);
             }
             touch(v);
+            IF_VERBOSE(2, display(verbose_stream() << "add " << head.var() << " == ", n) << "\n");
         }
         else if (m_aig[v][0].is_const() || !insert_aux(v, n)) {
             m_literals.shrink(m_literals.size() - sz);