From b44a8f927b1824e36e6c08de05235440ee72f9de Mon Sep 17 00:00:00 2001
From: Raphael Isemann <teemperor@gmail.com>
Date: Fri, 25 Mar 2022 17:12:20 +0100
Subject: [PATCH] Fix some memory leaks

---
 src/aig/gia/giaCTas.c     | 1 +
 src/base/abci/abcLutmin.c | 1 +
 src/base/abci/abcSaucy.c  | 2 ++
 3 files changed, 4 insertions(+)

diff --git a/src/aig/gia/giaCTas.c b/src/aig/gia/giaCTas.c
index 3dded68b3..cd0b4f480 100644
--- a/src/aig/gia/giaCTas.c
+++ b/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 );
 }
 
 
diff --git a/src/base/abci/abcLutmin.c b/src/base/abci/abcLutmin.c
index 7bac74bf5..11605eb14 100644
--- a/src/base/abci/abcLutmin.c
+++ b/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*************************************************************
diff --git a/src/base/abci/abcSaucy.c b/src/base/abci/abcSaucy.c
index e4d1cc42c..c62d6edcf 100644
--- a/src/base/abci/abcSaucy.c
+++ b/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