From 58576525f2620d9b76a7f97f9451e779f2084c4f Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 14 Feb 2014 11:59:01 +0100 Subject: [PATCH] [mc] Disable MC_DEBUG (enabled by mistake) --- src/mc/mc_private.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h index 3ffc21772b..e7a2ce28a7 100644 --- a/src/mc/mc_private.h +++ b/src/mc/mc_private.h @@ -261,7 +261,7 @@ int snapshot_compare(void *state1, void *state2); int SIMIX_pre_mc_compare_snapshots(smx_simcall_t simcall, mc_snapshot_t s1, mc_snapshot_t s2); void print_comparison_times(void); -#define MC_DEBUG 1 +//#define MC_DEBUG 1 #define MC_VERBOSE 1 /********************************** DPOR for safety property **************************************/ -- 2.20.1