X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1df01b03d2840feb9fad0335b96ba749007959e4..ccb9910148d295432e7d067a0dea6eb0f35ce4d4:/src/mc/mc_dpor.c?ds=sidebyside diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c index 85d654082f..507b6df393 100644 --- a/src/mc/mc_dpor.c +++ b/src/mc/mc_dpor.c @@ -586,6 +586,7 @@ void MC_dpor(void) } MC_SET_RAW_MEM; + if(0) { if(!initial_state_safety->initial_communications_pattern_done){ print_communications_pattern(initial_communications_pattern); }else{ @@ -595,6 +596,7 @@ void MC_dpor(void) } } initial_state_safety->initial_communications_pattern_done = 1; + } MC_UNSET_RAW_MEM; /* Trash the current state, no longer needed */