From cf1a2c1e1319fec0974567e51be83e828ddfc7e4 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sat, 6 Oct 2012 19:01:04 +0200 Subject: [PATCH] model-checker : remove maestro stack from stack comparison --- src/mc/mc_compare.c | 2 +- src/simix/smx_context_base.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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; -- 2.20.1