diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-03 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-03 08:01:00 -0700 |
| commit | a8db621dc96768cf2cf543be905d534579847020 (patch) | |
| tree | c5c11558d1adf35b474cebd78d89b2e5ae1bc1bc /src/aig/dar/darCore.c | |
| parent | d6804597a397379f826810a736ccbe99bf56c497 (diff) | |
| download | abc-a8db621dc96768cf2cf543be905d534579847020.tar.gz abc-a8db621dc96768cf2cf543be905d534579847020.tar.bz2 abc-a8db621dc96768cf2cf543be905d534579847020.zip | |
Version abc70703
Diffstat (limited to 'src/aig/dar/darCore.c')
| -rw-r--r-- | src/aig/dar/darCore.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/dar/darCore.c b/src/aig/dar/darCore.c index 820b0002..147cd38f 100644 --- a/src/aig/dar/darCore.c +++ b/src/aig/dar/darCore.c @@ -106,11 +106,15 @@ p->timeCuts += clock() - clk; // count gains of this class p->ClassGains[p->ClassBest] += nNodeBefore - nNodeAfter; +// if ( p->ClassBest == 29 ) +// printf( "%d ", p->OutNumBest ); + } p->timeTotal = clock() - clkStart; p->timeOther = p->timeTotal - p->timeCuts - p->timeEval; Extra_ProgressBarStop( pProgress ); + p->nCutMemUsed = Dar_MmFlexReadMemUsage(p->pMemCuts)/(1<<20); Dar_ManCutsFree( p ); // put the nodes into the DFS order and reassign their IDs // Dar_NtkReassignIds( p ); @@ -161,7 +165,6 @@ int Dar_ManComputeCuts( Dar_Man_t * p ) Dar_ManNodeNum(p), nCutsTotal, nCutsMax, (float)nCutsTotal/Dar_ManNodeNum(p), p->nCutsFiltered, p->nCutsFiltered+nCutsTotal+Dar_ManNodeNum(p)+Dar_ManPiNum(p) ); PRT( "Time", clock() - clkStart ); - // free the cuts // Dar_ManCutsFree( p ); return 1; |