From e8b6afba8f8b0963162e7ece45d9503662d2f03d Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 6 Dec 2012 10:16:10 +0100 Subject: [PATCH] model-checker : ignore global variables corresponding to a counter for coverage --- src/mc/mc_global.c | 1 + 1 file changed, 1 insertion(+) 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; -- 2.20.1