diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-27 20:54:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-27 20:54:04 -0700 |
| commit | f6758079f7b2d9bd95275d2a7f59bdf9c661232e (patch) | |
| tree | 56d9495eb4b693fe16b6be14c318db9efe01cdcf | |
| parent | daa4eaf2af1bab7330a1f8daf607789f84bfe4e2 (diff) | |
| download | abc-f6758079f7b2d9bd95275d2a7f59bdf9c661232e.tar.gz abc-f6758079f7b2d9bd95275d2a7f59bdf9c661232e.tar.bz2 abc-f6758079f7b2d9bd95275d2a7f59bdf9c661232e.zip | |
Removing equivalence classes when they are not properly refined.
| -rw-r--r-- | src/proof/cec/cecCorr.c | 2 |
1 files changed, 2 insertions, 0 deletions
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]; |