diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 13:13:23 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 13:13:23 -0800 |
| commit | c8e4a05fd3d268b967e77d634977c3f29825722f (patch) | |
| tree | 55d3ecd27cb47698e955c66c93b55c099bdb13c5 /src | |
| parent | b63b332bac5883c1a60064381a81c7543a636061 (diff) | |
| download | abc-c8e4a05fd3d268b967e77d634977c3f29825722f.tar.gz abc-c8e4a05fd3d268b967e77d634977c3f29825722f.tar.bz2 abc-c8e4a05fd3d268b967e77d634977c3f29825722f.zip | |
Additional print-outs in dc2.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/dar/darScript.c | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/aig/dar/darScript.c b/src/aig/dar/darScript.c index 0332f961..b40c6b3c 100644 --- a/src/aig/dar/darScript.c +++ b/src/aig/dar/darScript.c @@ -257,7 +257,7 @@ Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, pParsRef->fVerbose = 0;//fVerbose; pAig = Aig_ManDupDfs( pAig ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "Starting: " ), Aig_ManPrintStats( pAig ); /* // balance if ( fBalance ) @@ -275,27 +275,27 @@ Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, pAig = Aig_ManDupDfs( pTemp = pAig ); Aig_ManStop( pTemp ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "Rewrite: " ), Aig_ManPrintStats( pAig ); // refactor Dar_ManRefactor( pAig, pParsRef ); pAig = Aig_ManDupDfs( pTemp = pAig ); Aig_ManStop( pTemp ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "Refactor: " ), Aig_ManPrintStats( pAig ); // balance // if ( fBalance ) { pAig = Dar_ManBalance( pTemp = pAig, fUpdateLevel ); Aig_ManStop( pTemp ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "Balance: " ), Aig_ManPrintStats( pAig ); } // rewrite Dar_ManRewrite( pAig, pParsRwr ); pAig = Aig_ManDupDfs( pTemp = pAig ); Aig_ManStop( pTemp ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "Rewrite: " ), Aig_ManPrintStats( pAig ); pParsRwr->fUseZeros = 1; pParsRef->fUseZeros = 1; @@ -304,34 +304,34 @@ Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, Dar_ManRewrite( pAig, pParsRwr ); pAig = Aig_ManDupDfs( pTemp = pAig ); Aig_ManStop( pTemp ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "RewriteZ: " ), Aig_ManPrintStats( pAig ); // balance if ( fBalance ) { pAig = Dar_ManBalance( pTemp = pAig, fUpdateLevel ); Aig_ManStop( pTemp ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "Balance: " ), Aig_ManPrintStats( pAig ); } // refactor Dar_ManRefactor( pAig, pParsRef ); pAig = Aig_ManDupDfs( pTemp = pAig ); Aig_ManStop( pTemp ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "RefactorZ: " ), Aig_ManPrintStats( pAig ); // rewrite Dar_ManRewrite( pAig, pParsRwr ); pAig = Aig_ManDupDfs( pTemp = pAig ); Aig_ManStop( pTemp ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "RewriteZ: " ), Aig_ManPrintStats( pAig ); // balance if ( fBalance ) { pAig = Dar_ManBalance( pTemp = pAig, fUpdateLevel ); Aig_ManStop( pTemp ); - if ( fVerbose ) Aig_ManPrintStats( pAig ); + if ( fVerbose ) printf( "Balance: " ), Aig_ManPrintStats( pAig ); } return pAig; } |