model-checker : remove maestro stack from stack comparison

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 232fe72..2601939 100644 (file)
--- 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 d7f1a79..e248369 100644 (file)
--- 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;