model-checker : add ignore mechanism for global variables (data + bss segments) in...

[simgrid.git] / src / simix / smx_process.c

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index b1db2f4..ad38a71 100644 (file)
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -710,7 +710,7 @@ void SIMIX_process_yield(smx_process_t self)
     SMX_THROW();
   }
 
-  /* Ignore some local variables from xbt/ex.c" */
+  /* Ignore some local variables from xbt/ex.c for stacks comparison */
   if(MC_is_active()){
     MC_ignore_stack("ctx", "SIMIX_process_yield");
     MC_ignore_stack("_throw_ctx", "SIMIX_process_yield");