Merge pull request #156 from Teemperor/FixMemoryLeak

Fix some memory leaks

src/aig/gia/giaCTas.c

@@ -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 );
 }
 
 

src/base/abci/abcLutmin.c

@@ -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*************************************************************

src/base/abci/abcSaucy.c

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