From c8cb025267aaf5869a961e6606d13369c6701801 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 2 Jan 2013 18:47:08 +0100 Subject: [PATCH] model-checker : ignore some local variables from simix in MC_init --- src/mc/mc_global.c | 3 +++ src/simix/smx_context_sysv.c | 5 ----- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index b1eb80b7c5..b7ed883891 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -198,6 +198,9 @@ void MC_init(){ MC_ignore_stack("_throw_ctx", "*"); MC_ignore_stack("ctx", "*"); + MC_ignore_stack("next_context", "smx_ctx_sysv_suspend_serial"); + MC_ignore_stack("i", "smx_ctx_sysv_suspend_serial"); + if(raw_mem_set) MC_SET_RAW_MEM; diff --git a/src/simix/smx_context_sysv.c b/src/simix/smx_context_sysv.c index 9acbbd1df6..90e6b84df3 100644 --- a/src/simix/smx_context_sysv.c +++ b/src/simix/smx_context_sysv.c @@ -232,11 +232,6 @@ static void smx_ctx_sysv_suspend_serial(smx_context_t context) smx_context_t next_context; unsigned long int i = sysv_process_index++; - if(MC_is_active()){ - MC_ignore_stack("next_context", "smx_ctx_sysv_suspend_serial"); - MC_ignore_stack("i", "smx_ctx_sysv_suspend_serial"); - } - if (i < xbt_dynar_length(simix_global->process_to_run)) { /* execute the next process */ XBT_DEBUG("Run next process"); -- 2.20.1