diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-13 13:02:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-13 13:02:20 -0700 |
| commit | a0df379bfdb422ba3a47026e5e099abed105c88f (patch) | |
| tree | 9767d24339e79999bd24c3e0addb1649dddd12ed /src | |
| parent | fcdd9148b456e7efec1db8b4cf81adbb305401d7 (diff) | |
| download | abc-a0df379bfdb422ba3a47026e5e099abed105c88f.tar.gz abc-a0df379bfdb422ba3a47026e5e099abed105c88f.tar.bz2 abc-a0df379bfdb422ba3a47026e5e099abed105c88f.zip | |
Various modifications.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaBalance.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaBalance.c b/src/aig/gia/giaBalance.c index 9760cf39..dfbc6ca6 100644 --- a/src/aig/gia/giaBalance.c +++ b/src/aig/gia/giaBalance.c @@ -1023,7 +1023,8 @@ Gia_Man_t * Gia_ManAigSyn2( Gia_Man_t * p, int fVerbose, int fVeryVerbose ) Jf_Par_t Pars, * pPars = &Pars; Lf_ManSetDefaultPars( pPars ); // pPars->fVerbose = 1; - pPars->nRelaxRatio = 40; + pPars->fCoarsen = 1; + pPars->nRelaxRatio = 20; if ( fVerbose ) Gia_ManPrintStats( p, NULL ); if ( Gia_ManAndNum(p) == 0 ) return Gia_ManDup(p); |