diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 13:24:27 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 13:24:27 -0800 |
| commit | 6531899709c9a25bc10d390529c5a27b3087ff37 (patch) | |
| tree | 5a828b63c9f14e9ddac454cf00c7ab8bc99ed762 /src | |
| parent | c8e4a05fd3d268b967e77d634977c3f29825722f (diff) | |
| download | abc-6531899709c9a25bc10d390529c5a27b3087ff37.tar.gz abc-6531899709c9a25bc10d390529c5a27b3087ff37.tar.bz2 abc-6531899709c9a25bc10d390529c5a27b3087ff37.zip | |
Temporarily disabling balance.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/dar/darScript.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/dar/darScript.c b/src/aig/dar/darScript.c index b40c6b3c..2f4bc69d 100644 --- a/src/aig/dar/darScript.c +++ b/src/aig/dar/darScript.c @@ -284,7 +284,7 @@ Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, if ( fVerbose ) printf( "Refactor: " ), Aig_ManPrintStats( pAig ); // balance -// if ( fBalance ) + if ( fBalance ) { pAig = Dar_ManBalance( pTemp = pAig, fUpdateLevel ); Aig_ManStop( pTemp ); |