luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Corner case bug fix in &cec.

This commit is contained in:
Alan Mishchenko 2020-12-02 09:46:31 -10:00
parent 6eee09c51c
commit 925418d562
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/proof/cec/cecCore.c
View File

@ -553,8 +553,8 @@ finalize:
Cec_ManSimStop( pSim );
Cec_ManPatStop( pPat );
Cec_ManFraStop( p );
ABC_FREE( pTemp->pReprs );
ABC_FREE( pTemp->pNexts );
if ( pTemp ) ABC_FREE( pTemp->pReprs );
if ( pTemp ) ABC_FREE( pTemp->pNexts );
return pTemp;
}