xbt_free(req_str);
}
- req_str = MC_request_get_dot_output(req, value);
+ if(dot_output != NULL)
+ req_str = MC_request_get_dot_output(req, value);
MC_state_set_executed_request(state, req, value);
mc_stats->executed_transitions++;
MC_UNSET_RAW_MEM;
- xbt_free(req_str);
+ if(dot_output != NULL)
+ xbt_free(req_str);
/* Let's loop again */