From 0722dde6f935115277cf27940e85a8eede66f19c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 11 Aug 2014 18:34:14 -0700 Subject: [PATCH] Increasing the size of pre-allocated memory in &syn2. --- src/aig/gia/giaBalance.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aig/gia/giaBalance.c b/src/aig/gia/giaBalance.c index 65c873871..023157476 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 );