diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-23 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-23 08:01:00 -0700 |
| commit | 64dc240b904adafee78e2a66a1fc31b717f8985f (patch) | |
| tree | 3632887450b37c4dcac6f6cbac08d42e9512c440 /src/base/abci/abcRewrite.c | |
| parent | 1647addf5e3ce4f82cc35cd4983bc5f7b9730290 (diff) | |
| download | abc-64dc240b904adafee78e2a66a1fc31b717f8985f.tar.gz abc-64dc240b904adafee78e2a66a1fc31b717f8985f.tar.bz2 abc-64dc240b904adafee78e2a66a1fc31b717f8985f.zip | |
Version abc70723
Diffstat (limited to 'src/base/abci/abcRewrite.c')
| -rw-r--r-- | src/base/abci/abcRewrite.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcRewrite.c b/src/base/abci/abcRewrite.c index 613741a8..cbbea1be 100644 --- a/src/base/abci/abcRewrite.c +++ b/src/base/abci/abcRewrite.c @@ -94,6 +94,7 @@ Rwr_ManAddTimeCuts( pManRwr, clock() - clk ); Rwr_ScoresClean( pManRwr ); // resynthesize each node once + pManRwr->nNodesBeg = Abc_NtkNodeNum(pNtk); nNodes = Abc_NtkObjNumMax(pNtk); pProgress = Extra_ProgressBarStart( stdout, nNodes ); Abc_NtkForEachNode( pNtk, pNode, i ) @@ -137,6 +138,7 @@ Rwr_ManAddTimeUpdate( pManRwr, clock() - clk ); Extra_ProgressBarStop( pProgress ); Rwr_ManAddTimeTotal( pManRwr, clock() - clkStart ); // print stats + pManRwr->nNodesEnd = Abc_NtkNodeNum(pNtk); if ( fVerbose ) Rwr_ManPrintStats( pManRwr ); // Rwr_ManPrintStatsFile( pManRwr ); |