diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-11 18:34:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-11 18:34:14 -0700 |
| commit | 0722dde6f935115277cf27940e85a8eede66f19c (patch) | |
| tree | 44bcd424e56221c1a185d2e4a99d4d1df2342263 /src/aig/gia | |
| parent | 68ce0bc1c1a642495358e8e5d96e9212236a517b (diff) | |
| download | abc-0722dde6f935115277cf27940e85a8eede66f19c.tar.gz abc-0722dde6f935115277cf27940e85a8eede66f19c.tar.bz2 abc-0722dde6f935115277cf27940e85a8eede66f19c.zip | |
Increasing the size of pre-allocated memory in &syn2.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaBalance.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaBalance.c b/src/aig/gia/giaBalance.c index 65c87387..02315747 100644 --- a/src/aig/gia/giaBalance.c +++ b/src/aig/gia/giaBalance.c @@ -699,7 +699,7 @@ Gia_Man_t * Dam_ManMultiAig( Dam_Man_t * pMan ) Gia_Obj_t * pObj; int i; // start the new manager - pNew = Gia_ManStart( Gia_ManObjNum(p) ); + pNew = Gia_ManStart( 2*Gia_ManObjNum(p) ); pNew->pName = Abc_UtilStrsav( p->pName ); pNew->pSpec = Abc_UtilStrsav( p->pSpec ); pNew->pMuxes = ABC_CALLOC( unsigned, pNew->nObjsAlloc ); |