From 0685d3d3e78277471c94864a820056f01b74fb7c Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 31 Oct 2012 21:37:46 +0100 Subject: [PATCH] model-checker : ignore some local variables from xbt/ex.c for stack comparison --- src/simix/smx_process.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c index 6a3ca375cf..b1db2f4834 100644 --- a/src/simix/smx_process.c +++ b/src/simix/smx_process.c @@ -710,8 +710,12 @@ void SIMIX_process_yield(smx_process_t self) SMX_THROW(); } - if(MC_is_active()) + /* Ignore some local variables from xbt/ex.c" */ + if(MC_is_active()){ MC_ignore_stack("ctx", "SIMIX_process_yield"); + MC_ignore_stack("_throw_ctx", "SIMIX_process_yield"); + MC_ignore_stack("_log_ev", "SIMIX_process_yield"); + } } /* callback: context fetching */ -- 2.20.1