diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-09 13:20:56 -0800 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-09 13:20:56 -0800 |
| commit | eede1bc7f8ce904d9fd5aa48665015c922f3e638 (patch) | |
| tree | f1badcf8b3e3a76db5debab86f9987f1039c2488 | |
| parent | 3ae83d376a6d023456bb2c4cffeed9567df319e5 (diff) | |
| download | abc-eede1bc7f8ce904d9fd5aa48665015c922f3e638.tar.gz abc-eede1bc7f8ce904d9fd5aa48665015c922f3e638.tar.bz2 abc-eede1bc7f8ce904d9fd5aa48665015c922f3e638.zip | |
bug fix
| -rw-r--r-- | src/base/wlc/wlcAbs.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index 319b5f37..23a24f30 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -1331,6 +1331,7 @@ int Wlc_NtkPdrAbs( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) int Wlc_NtkAbsCore( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) { abctime clk = Abc_Clock(); + Vec_Int_t * vBlacks = NULL; int nIters, nNodes, nDcFlops, RetValue = -1; // start the bitmap to mark objects that cannot be abstracted because of refinement // currently, this bitmap is empty because abstraction begins without refinement @@ -1352,7 +1353,6 @@ int Wlc_NtkAbsCore( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) Vec_Int_t * vPisNew, * vRefine; Gia_Man_t * pGia, * pTemp; Wlc_Ntk_t * pAbs; - Vec_Int_t * vBlacks = NULL; if ( pPars->fVerbose ) printf( "\nIteration %d:\n", nIters ); @@ -1431,6 +1431,7 @@ int Wlc_NtkAbsCore( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) Vec_IntFree( vRefine ); Abc_CexFree( pCex ); } + Vec_IntFree( vBlacks ); Vec_BitFree( vUnmark ); // report the result if ( pPars->fVerbose ) |