diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-17 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-17 08:01:00 -0700 |
| commit | d63a0cbbfd3979bb1423946fd1853411fbc66210 (patch) | |
| tree | f3e981717d69b3f725ccbdd9a0ad70c9fe9f320e /src/base/main | |
| parent | 05772a795bf5808ff30008fc2a36ec965e18c50e (diff) | |
| download | abc-d63a0cbbfd3979bb1423946fd1853411fbc66210.tar.gz abc-d63a0cbbfd3979bb1423946fd1853411fbc66210.tar.bz2 abc-d63a0cbbfd3979bb1423946fd1853411fbc66210.zip | |
Version abc80717
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/main.c | 4 | ||||
| -rw-r--r-- | src/base/main/main.h | 4 | ||||
| -rw-r--r-- | src/base/main/mainFrame.c | 6 |
3 files changed, 7 insertions, 7 deletions
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,8 +257,10 @@ 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(); // source the resource file 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 ); |