diff options
Diffstat (limited to 'src/aig/bdc/bdcCore.c')
-rw-r--r-- | src/aig/bdc/bdcCore.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/bdc/bdcCore.c b/src/aig/bdc/bdcCore.c index e812da3d..9067d315 100644 --- a/src/aig/bdc/bdcCore.c +++ b/src/aig/bdc/bdcCore.c @@ -72,7 +72,8 @@ Bdc_Man_t * Bdc_ManAlloc( Bdc_Par_t * pPars ) p->nNodesAlloc = 512; p->pNodes = ALLOC( Bdc_Fun_t, p->nNodesAlloc ); // memory - p->vMemory = Vec_IntStart( 4 * p->nWords * p->nNodesAlloc ); + p->vMemory = Vec_IntStart( 8 * p->nWords * p->nNodesAlloc ); + Vec_IntClear(p->vMemory); // set up hash table p->nTableSize = (1 << p->pPars->nVarsMax); p->pTable = ALLOC( Bdc_Fun_t *, p->nTableSize ); |