From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 6 Oct 2012 17:01:04 +0000 (+0200)
Subject: model-checker : remove maestro stack from stack comparison
X-Git-Tag: v3_8~113
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/cf1a2c1e1319fec0974567e51be83e828ddfc7e4

model-checker : remove maestro stack from stack comparison
---

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 232fe7246a..2601939c3f 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -179,7 +179,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
   }
 
   /* Stacks comparison */
-  unsigned int cursor = 1;
+  unsigned int cursor = 0;
   stack_region_t stack_region1, stack_region2;
   void *sp1, *sp2;
   int diff = 0, diff_local = 0;
diff --git a/src/simix/smx_context_base.c b/src/simix/smx_context_base.c
index d7f1a79867..e248369e7a 100644
--- a/src/simix/smx_context_base.c
+++ b/src/simix/smx_context_base.c
@@ -64,7 +64,7 @@ smx_ctx_base_factory_create_context_sized(size_t size,
   }
   context->data = data;
 
-  if(MC_IS_ENABLED)
+  if(MC_IS_ENABLED && code)
     MC_new_stack_area(context, ((smx_process_t)context->data)->name);
 
   return context;