From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 6 Feb 2015 12:55:18 +0000 (+0100)
Subject: [mc] Flag global variables in mc_ignore as belonging to the MCer
X-Git-Tag: v3_12~732^2~129
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a5ca7957443f89e7fef7929dcd70ba4fd2695e67?hp=7757612e2826fd790cbcf39d5fd8e8904747104d;ds=sidebyside

[mc] Flag global variables in mc_ignore as belonging to the MCer
---

diff --git a/src/mc/mc_ignore.c b/src/mc/mc_ignore.c
index 1657fc16c9..bde464c8cf 100644
--- a/src/mc/mc_ignore.c
+++ b/src/mc/mc_ignore.c
@@ -18,6 +18,9 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_ignore, mc,
 
 
 /**************************** Global variables ******************************/
+// Those structures live with the MCer and should be moved in the model_checker
+// structure but they are currently used before the MC initialisation
+// (in standalone mode).
 
 extern xbt_dynar_t mc_heap_comparison_ignore;
 extern xbt_dynar_t stacks_areas;