From 52262356164ae4bb82a520cb298e9d66843c5528 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Mon, 23 Oct 2017 02:43:45 -0700 Subject: [PATCH] Adding SATCHECK_CONFIG to make switching easier ... --- src/common.h | 2 +- src/config.h | 2 +- src/mymemory.h | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/common.h b/src/common.h index 0efebf8..3d3adba 100644 --- a/src/common.h +++ b/src/common.h @@ -19,7 +19,7 @@ #include "time.h" -#if 1 +#ifdef SATCHECK_CONFIG extern int model_out; extern int model_err; extern int switch_alloc; diff --git a/src/config.h b/src/config.h index db02014..0c53dd6 100644 --- a/src/config.h +++ b/src/config.h @@ -19,7 +19,7 @@ //#define CONFIG_DEBUG #define TRACE_DEBUG #endif - +//#define SATCHECK_CONFIG #ifndef CONFIG_ASSERT #define CONFIG_ASSERT #endif diff --git a/src/mymemory.h b/src/mymemory.h index 9708936..700fb4f 100644 --- a/src/mymemory.h +++ b/src/mymemory.h @@ -26,7 +26,7 @@ void * ourrealloc(void *ptr, size_t size); */ -#if 0 +#ifdef SATCHECK_CONFIG void *model_malloc(size_t size); void model_free(void *ptr); void *model_calloc(size_t count, size_t size); -- 2.34.1