From c4adbc682a9c7d5c3dea07b2b64c9a9e21b237ab Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 7 Nov 2012 15:39:06 +0100 Subject: [PATCH 1/1] model-checker : improve debug information for stacks comparison --- src/mc/mc_compare.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c index 2bae1f4d22..d1584c6333 100644 --- a/src/mc/mc_compare.c +++ b/src/mc/mc_compare.c @@ -351,6 +351,7 @@ static int compare_local_variables(char *s1, char *s2, xbt_dynar_t heap_equals){ if((strcmp(xbt_dynar_get_as(s_tokens1, 0, char *), "ip") == 0) && (strcmp(xbt_dynar_get_as(s_tokens2, 0, char *), "ip") == 0)){ ip1 = strdup(xbt_dynar_get_as(s_tokens1, 1, char *)); ip2 = strdup(xbt_dynar_get_as(s_tokens2, 1, char *)); + XBT_DEBUG("Ip1 : %s, Ip2 : %s", ip1, ip2); } if(strcmp(xbt_dynar_get_as(s_tokens1, 1, char *), xbt_dynar_get_as(s_tokens2, 1, char *)) != 0){ /* Ignore this variable ? */ -- 2.20.1