From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 16 Nov 2012 16:38:17 +0000 (+0100)
Subject: model-checker : ignore new local variable
X-Git-Tag: v3_9_rc1~91^2~74
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/98c7b18f3f7145fc71f5fec9309cc272c5359b92?hp=faefbf1df4c06fd86d785d0a376356cd2375b81e

model-checker : ignore new local variable
---

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 {