X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7757612e2826fd790cbcf39d5fd8e8904747104d..a5ca7957443f89e7fef7929dcd70ba4fd2695e67:/src/mc/mc_ignore.c 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;