From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 1 Aug 2012 13:49:04 +0000 (+0200)
Subject: model-checker : ignore stack_top of maestro context for heap comparison
X-Git-Tag: v3_8~225
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f29ed6f3e0d0876378d00801428c2d870d9b1ceb

model-checker : ignore stack_top of maestro context for heap comparison
---

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;