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

Fix some memory leaks

This commit is contained in:
Raphael Isemann 2022-03-25 17:12:20 +01:00
parent ee228339e5
commit b44a8f927b
3 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/aig/gia/giaCTas.c
View File

@ -1778,6 +1778,7 @@ void Tas_ManSolveMiterNc2( Gia_Man_t * pAig, int nConfs, Gia_Man_t * pAigOld, Ve
Tas_ManSatPrintStats( p );
Tas_ManStop( p );
Vec_PtrFree( vPres );
Vec_StrFree( vStatus );
}

1
src/base/abci/abcLutmin.c
View File

@ -112,6 +112,7 @@ void Abc_NtkCheckAbsorb( Abc_Ntk_t * pNtk, int nLutSize )
Counter, 100.0 * Counter / Abc_NtkNodeNum(pNtk),
Counter2, 100.0 * Counter2 / Abc_NtkNodeNum(pNtk) );
Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
Vec_IntFree( vCounts );
}
/**Function*************************************************************

2
src/base/abci/abcSaucy.c
View File

@ -2483,6 +2483,8 @@ saucy_search(
/* Keep running till we're out of automorphisms */
while (do_search(s));
ABC_FREE(g);
}
void