/* New pair reached */
xbt_dynar_push(reached_pairs, &new_pair);
MC_UNSET_RAW_MEM;
-
- create_dump(xbt_dynar_length(reached_pairs));
-
+
return 0;
}else{
}
}
- create_dump(xbt_dynar_length(reached_pairs));
-
/* New pair reached */
xbt_dynar_push(reached_pairs, &new_pair);
MC_UNSET_RAW_MEM;
- create_dump(xbt_dynar_length(reached_pairs));
-
if(raw_mem_set)
MC_SET_RAW_MEM;
else
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;