From d63a0cbbfd3979bb1423946fd1853411fbc66210 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 17 Jul 2008 08:01:00 -0700
Subject: Version abc80717

---
 src/base/main/main.c      | 4 ++++
 src/base/main/main.h      | 4 ----
 src/base/main/mainFrame.c | 6 +++---
 3 files changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/base/main')

diff --git a/src/base/main/main.c b/src/base/main/main.c
index 1f1f19ba..6f2e1d11 100644
--- a/src/base/main/main.c
+++ b/src/base/main/main.c
@@ -56,8 +56,10 @@ int main( int argc, char * argv[] )
 
     // added to detect memory leaks:
 #ifdef _DEBUG
+#ifdef ABC_CHECK_LEAKS
     _CrtSetDbgFlag( _CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF );
 #endif
+#endif
     
 //    Npn_Experiment();
 //    Npn_Generate();
@@ -255,7 +257,9 @@ void Abc_Start()
     Abc_Frame_t * pAbc;
     // added to detect memory leaks:
 #ifdef _DEBUG
+#ifdef ABC_CHECK_LEAKS
     _CrtSetDbgFlag( _CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF );
+#endif
 #endif
     // start the glocal frame
     pAbc = Abc_FrameGetGlobalFrame();
diff --git a/src/base/main/main.h b/src/base/main/main.h
index 852b8f25..62dc394a 100644
--- a/src/base/main/main.h
+++ b/src/base/main/main.h
@@ -40,10 +40,6 @@ typedef struct Abc_Frame_t_      Abc_Frame_t;
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-// this include should be the first one in the list
-// it is used to catch memory leaks on Windows
-#include "leaks.h"       
-
 // data structure packages
 #include "extra.h"
 #include "vec.h"
diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c
index eae8b7a6..462b5a02 100644
--- a/src/base/main/mainFrame.c
+++ b/src/base/main/mainFrame.c
@@ -114,8 +114,8 @@ Abc_Frame_t * Abc_FrameAllocate()
     // networks to be used by choice
     p->vStore = Vec_PtrAlloc( 16 );
     // initialize decomposition manager
-    define_cube_size(20);
-    set_espresso_flags();
+//    define_cube_size(20);
+//    set_espresso_flags();
     // initialize the trace manager
 //    Abc_HManStart();
     return p;
@@ -139,7 +139,7 @@ void Abc_FrameDeallocate( Abc_Frame_t * p )
     extern void undefine_cube_size();
 //    extern void Ivy_TruthManStop();
 //    Abc_HManStop();
-    undefine_cube_size();
+//    undefine_cube_size();
     Rwt_ManGlobalStop();
 //    Ivy_TruthManStop();
     if ( p->pLibVer ) Abc_LibFree( p->pLibVer, NULL );
-- 
cgit v1.2.3