From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 6 Dec 2012 09:16:10 +0000 (+0100)
Subject: model-checker : ignore global variables corresponding to a counter for coverage
X-Git-Tag: v3_9_rc1~86^2~184^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e8b6afba8f8b0963162e7ece45d9503662d2f03d

model-checker : ignore global variables corresponding to a counter for coverage
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index ffca4fe4f3..25de83a3a9 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -1718,6 +1718,7 @@ static void MC_get_global_variables(char *elf_file){
        || (strcmp(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 1, char*), ".data") == 0)
        || (strcmp(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 1, char*), ".bss") == 0)
        || (strncmp(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 1, char*), "stderr", 6) == 0)
+       || (strncmp(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 1, char*), "counter", 7) == 0)
        || ((size_t)strtoul(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 2, char*), NULL, 16) == 0))
       continue;