*/
void MC_wait_for_requests(void)
{
- char *req_str = NULL;
smx_req_t req = NULL;
do {
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));
}
/* 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);
}
: (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);
}