diff options
Diffstat (limited to 'src/misc/extra/extraBddMisc.c')
| -rw-r--r-- | src/misc/extra/extraBddMisc.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 ); |