diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-08 10:24:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-08 10:24:00 -0700 |
commit | 68566713da1f5eaf712caf06b3750d2e6f92ee43 (patch) | |
tree | 3f379b7c73e1c5574cbea235a4bbe20ece593882 /src/proof | |
parent | e7e21b00fe979b5a8f91341c83caa21809e8b105 (diff) | |
download | abc-68566713da1f5eaf712caf06b3750d2e6f92ee43.tar.gz abc-68566713da1f5eaf712caf06b3750d2e6f92ee43.tar.bz2 abc-68566713da1f5eaf712caf06b3750d2e6f92ee43.zip |
Bug fix in the sweeper.
Diffstat (limited to 'src/proof')
-rw-r--r-- | src/proof/ssc/sscCore.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/proof/ssc/sscCore.c b/src/proof/ssc/sscCore.c index 1a57a47c..1ba5cf04 100644 --- a/src/proof/ssc/sscCore.c +++ b/src/proof/ssc/sscCore.c @@ -216,7 +216,7 @@ int Ssc_GiaResimulateOneClass( Ssc_Man_t * p, int iRepr, int iObj ) Gia_Man_t * Ssc_PerformSweeping( Gia_Man_t * pAig, Gia_Man_t * pCare, Ssc_Pars_t * pPars ) { Ssc_Man_t * p; - Gia_Man_t * pResult; + Gia_Man_t * pResult, * pTemp; Gia_Obj_t * pObj, * pRepr; clock_t clk, clkTotal = clock(); int i, fCompl, nRefined, status; @@ -341,6 +341,8 @@ p->timeSimSat += clock() - clk; ABC_FREE( pAig->pNexts ); pResult = Gia_ManDup( pAig ); } + pResult = Gia_ManCleanup( pTemp = pResult ); + Gia_ManStop( pTemp ); p->timeTotal = clock() - clkTotal; if ( pPars->fVerbose ) Ssc_ManPrintStats( p ); |