Prepared &gla to try abstracting and proving concurrently.

3 files changed, 4 insertions, 15 deletions

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index fe054071..1ecab451 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -871,22 +871,11 @@ void Abc_End( Abc_Frame_t * pAbc )
 {
     extern Abc_Frame_t * Abc_FrameGetGlobalFrame();
     Abc_FrameClearDesign(); 
-
-    {
-//        extern void Au_TabManPrint();
-//        Au_TabManPrint();
-    }
-
-//    Dar_LibDumpPriorities();
+    Cnf_ManFree();
     {
         extern int Abc_NtkCompareAndSaveBest( Abc_Ntk_t * pNtk );
         Abc_NtkCompareAndSaveBest( NULL );
     }
-
-    {
-//        extern void Cnf_ClearMemory();
-        Cnf_ClearMemory();
-    }
     {
         extern void Dar_LibStop();
         Dar_LibStop();
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index 8278fa16..60911e59 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -1386,7 +1386,7 @@ Abc_Ntk_t * Abc_NtkDarToCnf( Abc_Ntk_t * pNtk, char * pFileName, int fFastAlgo,
     // write CNF into a file
     Cnf_DataWriteIntoFile( pCnf, pFileName, 0 );
     Cnf_DataFree( pCnf );
-    Cnf_ClearMemory();
+    Cnf_ManFree();
     Aig_ManStop( pMan );
     return pNtkNew;
 }
diff --git a/src/base/main/mainMC.c b/src/base/main/mainMC.c
index 7fec111c..43d3ea85 100644
--- a/src/base/main/mainMC.c
+++ b/src/base/main/mainMC.c
@@ -101,7 +101,7 @@ int main( int argc, char * argv[] )
         {
             extern void Dar_LibStart();
             extern void Dar_LibStop();
-            extern void Cnf_ClearMemory();
+            extern void Cnf_ManFree();
 
             Fra_SecSetDefaultParams( pSecPar );
             pSecPar->TimeLimit       = 600;
@@ -112,7 +112,7 @@ int main( int argc, char * argv[] )
             Dar_LibStart();
             RetValue = Fra_FraigSec( pAig, pSecPar, NULL );
             Dar_LibStop();
-            Cnf_ClearMemory();
+            Cnf_ManFree();
         }
     }