diff options
Diffstat (limited to 'src/map/if/ifMan.c')
-rw-r--r-- | src/map/if/ifMan.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 9bda135f..61c8df5d 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -72,8 +72,6 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) p->vTtMem[v] = p->vTtMem[6]; if ( p->pPars->fDelayOpt ) { - p->vCover = Vec_IntAlloc( 0 ); - p->vArray = Vec_IntAlloc( 1000 ); for ( v = 6; v <= Abc_MaxInt(6,p->pPars->nLutSize); v++ ) p->vTtIsops[v] = Vec_WecAlloc( 1000 ); for ( v = 6; v <= Abc_MaxInt(6,p->pPars->nLutSize); v++ ) @@ -81,6 +79,11 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) for ( v = 0; v < 6; v++ ) p->vTtIsops[v] = p->vTtIsops[6]; } + if ( p->pPars->fDelayOpt || p->pPars->fDsdBalance ); + { + p->vCover = Vec_IntAlloc( 0 ); + p->vArray = Vec_IntAlloc( 1000 ); + } } p->nPermWords = p->pPars->fUsePerm? If_CutPermWords( p->pPars->nLutSize ) : 0; p->nObjBytes = sizeof(If_Obj_t) + sizeof(int) * (p->pPars->nLutSize + p->nPermWords); |