From f6758079f7b2d9bd95275d2a7f59bdf9c661232e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 27 Apr 2022 20:54:04 -0700 Subject: Removing equivalence classes when they are not properly refined. --- src/proof/cec/cecCorr.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/proof') diff --git a/src/proof/cec/cecCorr.c b/src/proof/cec/cecCorr.c index 8614ab07..d1d8958f 100644 --- a/src/proof/cec/cecCorr.c +++ b/src/proof/cec/cecCorr.c @@ -1054,6 +1054,8 @@ int Cec_ManLSCorrespondenceClasses( Gia_Man_t * pAig, Cec_ParCor_t * pPars ) printf( "Iterative refinement is stopped after iteration %d\n", r ); printf( "because refinement does not proceed quickly.\n" ); Cec_ManSimStop( pSim ); + ABC_FREE( pAig->pReprs ); + ABC_FREE( pAig->pNexts ); return 0; } nPrev[0] = nPrev[1]; -- cgit v1.2.3