From 98c7b18f3f7145fc71f5fec9309cc272c5359b92 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 16 Nov 2012 17:38:17 +0100 Subject: [PATCH] model-checker : ignore new local variable --- src/msg/msg_gos.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/msg/msg_gos.c b/src/msg/msg_gos.c index 24babd3f78..1b6ac3d821 100644 --- a/src/msg/msg_gos.c +++ b/src/msg/msg_gos.c @@ -438,6 +438,7 @@ int MSG_comm_test(msg_comm_t comm) if (MC_is_active()){ MC_ignore_stack("e", "MSG_comm_test"); MC_ignore_stack("__ex_cleanup", "MSG_comm_test"); + MC_ignore_stack("__ex_mctx_me", "MSG_comm_test"); } TRY { -- 2.20.1