From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 7 Nov 2012 14:39:06 +0000 (+0100)
Subject: model-checker : improve debug information for stacks comparison
X-Git-Tag: v3_9_rc1~91^2~126^2~21
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c4adbc682a9c7d5c3dea07b2b64c9a9e21b237ab

model-checker : improve debug information for stacks comparison
---

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 ?  */