X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ae7de36436dc212a9537e15b06cf433f50594f63..fc90483d87af7c41aa3dabc00a43585c6ea928e0:/src/mc/mc_liveness.c

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index e3bec582b9..eadd14909e 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -83,9 +83,7 @@ int reached(xbt_state_t st){
     /* New pair reached */
     xbt_dynar_push(reached_pairs, &new_pair); 
     MC_UNSET_RAW_MEM;
-    
-    create_dump(xbt_dynar_length(reached_pairs));
-
+ 
     return 0;
 
   }else{
@@ -116,8 +114,6 @@ int reached(xbt_state_t st){
       }
     }
 
-    create_dump(xbt_dynar_length(reached_pairs));
-
     /* New pair reached */
     xbt_dynar_push(reached_pairs, &new_pair); 
     
@@ -166,8 +162,6 @@ void set_pair_reached(xbt_state_t st){
   
   MC_UNSET_RAW_MEM;
 
-  create_dump(xbt_dynar_length(reached_pairs));
-
   if(raw_mem_set)
     MC_SET_RAW_MEM;
   else
@@ -272,6 +266,9 @@ void MC_ddfs_init(void){
 
   MC_UNSET_RAW_MEM; 
 
+  /* Get .plt section (start and end addresses) for data libsimgrid comparison */
+  get_plt_section();
+
   unsigned int cursor = 0;
   xbt_state_t state;