if(_surf_mc_visited > 0){
MC_init();
}else{
+ MC_SET_RAW_MEM;
MC_init_memory_map_info();
get_libsimgrid_plt_section();
get_binary_plt_section();
+ MC_UNSET_RAW_MEM;
}
MC_dpor_init();
void MC_exit(void)
{
- MC_print_statistics(mc_stats);
xbt_free(mc_time);
MC_memory_exit();
}