X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/208924f0b511eb55c98c74a56a9d9e6b7430c370..030a05a00b073b9a464a4f508d0991cf983ea0df:/src/mc/mc_global.c diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 6c4c2b23be..22b30584e1 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -75,7 +75,6 @@ int MC_random(int min, int max) */ void MC_wait_for_requests(void) { - char *req_str = NULL; smx_req_t req = NULL; do { @@ -83,11 +82,6 @@ void MC_wait_for_requests(void) while((req = SIMIX_request_pop())){ if(!MC_request_is_visible(req)) SIMIX_request_pre(req, 0); - else if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){ - req_str = MC_request_to_string(req); - DEBUG1("Got: %s", req_str); - xbt_free(req_str); - } } } while (xbt_dynar_length(simix_global->process_to_run)); } @@ -145,7 +139,7 @@ void MC_replay(xbt_fifo_t stack) /* Debug information */ if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){ - req_str = MC_request_to_string(req); + req_str = MC_request_to_string(req, value); DEBUG2("Replay: %s (%p)", req_str, state); xbt_free(req_str); } @@ -191,7 +185,7 @@ void MC_show_stack(xbt_fifo_t stack) : (NULL)); item = xbt_fifo_get_prev_item(item)) { req = MC_state_get_executed_request(state, &value); if(req){ - req_str = MC_request_to_string(req); + req_str = MC_request_to_string(req, value); INFO1("%s", req_str); xbt_free(req_str); }