From 4e44b79c5c7acf75b2793fdd7ca7e604baf5da74 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 5 Mar 2013 18:05:54 +0100 Subject: [PATCH] model-checker : ignore running context of processes for system state comparison --- src/simix/smx_process.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c index 33d0ad15cd..4899f9174d 100644 --- a/src/simix/smx_process.c +++ b/src/simix/smx_process.c @@ -275,6 +275,10 @@ void SIMIX_process_create(smx_process_t *process, (*process)->running_ctx = xbt_new(xbt_running_ctx_t, 1); XBT_RUNNING_CTX_INITIALIZE((*process)->running_ctx); + if(MC_is_active()){ + MC_ignore_heap((*process)->running_ctx, sizeof(*(*process)->running_ctx)); + } + /* Add properties */ (*process)->properties = properties; -- 2.20.1