From f29ed6f3e0d0876378d00801428c2d870d9b1ceb Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 1 Aug 2012 15:49:04 +0200
Subject: [PATCH 1/1] model-checker : ignore stack_top of maestro context for
 heap comparison

---
 src/simix/smx_context_raw.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/simix/smx_context_raw.c b/src/simix/smx_context_raw.c
index a3b94739d3..2b941040d6 100644
--- a/src/simix/smx_context_raw.c
+++ b/src/simix/smx_context_raw.c
@@ -331,6 +331,10 @@ smx_ctx_raw_create_context(xbt_main_func_t code, int argc, char **argv,
 
      } else {
        raw_maestro_context = context;
+
+       if(MC_IS_ENABLED)
+         MC_ignore(&(raw_maestro_context->stack_top), sizeof(raw_maestro_context->stack_top));
+
      }
 
      return (smx_context_t) context;
-- 
2.20.1