diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-21 13:48:07 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-21 13:48:07 -0700 |
commit | 1c56475287876a9625642834390e055257499663 (patch) | |
tree | f0a3631f214960c882aaa484e681d820530857bd /src/aig | |
parent | cb4631e64e9a95cafc4ef31a60f006c7f067cf91 (diff) | |
download | abc-1c56475287876a9625642834390e055257499663.tar.gz abc-1c56475287876a9625642834390e055257499663.tar.bz2 abc-1c56475287876a9625642834390e055257499663.zip |
Extending predefined limit in &shrink.
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaShrink6.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaShrink6.c b/src/aig/gia/giaShrink6.c index fd01b220..ee89f311 100644 --- a/src/aig/gia/giaShrink6.c +++ b/src/aig/gia/giaShrink6.c @@ -98,7 +98,7 @@ Shr_Man_t * Shr_ManAlloc( Gia_Man_t * pGia ) Shr_Man_t * p; p = ABC_CALLOC( Shr_Man_t, 1 ); p->nDivMax = 64; - p->nNewSize = 3 * Gia_ManObjNum(pGia) / 2; + p->nNewSize = 2 * Gia_ManObjNum(pGia); p->pGia = pGia; p->vFanMem = Vec_WrdAlloc( 1000 ); Vec_WrdPush(p->vFanMem, -1); p->vObj2Fan = Vec_IntStart( p->nNewSize ); |