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

Bug fix in word-level abstraction.

This commit is contained in:
Alan Mishchenko 2024-05-23 07:47:30 -07:00
parent 111867432c
commit 23f351c7c6
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/base/wlc/wlcAbs.c
View File

@ -1886,8 +1886,8 @@ int Wlc_NtkAbsCore( Wlc_Ntk_t * p, Wlc_Par_t * pPars )
Vec_IntFree( vRefine );
Abc_CexFree( pCex );
}
Vec_IntFree( vBlacks );
Vec_BitFree( vUnmark );
Vec_IntFreeP( &vBlacks );
Vec_BitFreeP( &vUnmark );
// report the result
if ( pPars->fVerbose )
printf( "\n" );