X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2c97c5ef3be01a819e6b0012511f6268d3208799..67d9420f78fbf068e11d3f575ebd59a995aeefee:/src/mc/mc_global.c diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 476c4d452f..ad54b842ad 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -131,6 +131,7 @@ void MC_init_safety(void) MC_take_snapshot(initial_snapshot); MC_UNSET_RAW_MEM; + if(raw_mem_set) MC_SET_RAW_MEM; else @@ -599,7 +600,6 @@ void MC_diff(void){ switch(sn->regions[i]->type){ case 0: /* heap */ XBT_INFO("Size of heap : %zu", sn->regions[i]->size); - mmalloc_display_info_heap(sn->regions[i]->data); break; case 1 : /* libsimgrid */ XBT_INFO("Size of libsimgrid : %zu", sn->regions[i]->size);