summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-12-15 13:13:23 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2011-12-15 13:13:23 -0800
commitc8e4a05fd3d268b967e77d634977c3f29825722f (patch)
tree55d3ecd27cb47698e955c66c93b55c099bdb13c5 /src
parentb63b332bac5883c1a60064381a81c7543a636061 (diff)
downloadabc-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.c20
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;
}