diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-27 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-27 08:01:00 -0700 |
| commit | 689cbe904e3a28d7502feb9931b748764f947aaf (patch) | |
| tree | bbb8fff24434b41482f2878489b8210d58b495c5 /src/aig/ssw/sswMan.c | |
| parent | 91effd8148493c3837513c9256eefdf488dd9b97 (diff) | |
| download | abc-689cbe904e3a28d7502feb9931b748764f947aaf.tar.gz abc-689cbe904e3a28d7502feb9931b748764f947aaf.tar.bz2 abc-689cbe904e3a28d7502feb9931b748764f947aaf.zip | |
Version abc80927
Diffstat (limited to 'src/aig/ssw/sswMan.c')
| -rw-r--r-- | src/aig/ssw/sswMan.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/ssw/sswMan.c b/src/aig/ssw/sswMan.c index ba19d46e..d4a26f64 100644 --- a/src/aig/ssw/sswMan.c +++ b/src/aig/ssw/sswMan.c @@ -59,6 +59,8 @@ Ssw_Man_t * Ssw_ManCreate( Aig_Man_t * pAig, Ssw_Pars_t * pPars ) // SAT solving (latch corr only) p->vUsedNodes = Vec_PtrAlloc( 1000 ); p->vUsedPis = Vec_PtrAlloc( 1000 ); + p->vCommon = Vec_PtrAlloc( 100 ); + p->iOutputLit = -1; // allocate storage for sim pattern p->nPatWords = Aig_BitWordNum( Saig_ManPiNum(pAig) * p->nFrames + Saig_ManRegNum(pAig) ); p->pPatWords = ALLOC( unsigned, p->nPatWords ); @@ -190,6 +192,7 @@ void Ssw_ManStop( Ssw_Man_t * p ) Vec_PtrFree( p->vUsedNodes ); Vec_PtrFree( p->vUsedPis ); Vec_IntFree( p->vSatVars ); + Vec_PtrFree( p->vCommon ); FREE( p->pNodeToFrames ); FREE( p->pPatWords ); free( p ); |