From edf3622ceb8569b87ffc007c75716f1042ba00d7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 13 Feb 2015 16:28:17 -0800
Subject: Several improvements to CBA data-structure.

---
 src/misc/extra/extraBddMisc.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/misc/extra')

diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c
index 66a0fc23..b0ba07d7 100644
--- a/src/misc/extra/extraBddMisc.c
+++ b/src/misc/extra/extraBddMisc.c
@@ -1505,6 +1505,7 @@ int Extra_bddCountCubes( DdManager * dd, DdNode ** pFuncs, int nFuncs, int fDire
         CounterAll += Abc_MinInt( Count0, Count1 );
         if ( CounterAll > nLimit )
             break;
+        //printf( "Output %d has %d cubes\n", i, Abc_MinInt(Count0, Count1) );
     }
     dd->maxLive = saveLimit;
     st__free_table( table );
-- 
cgit v1.2.3