- // Find (pid, value):
- mc_state_t state = (mc_state_t) xbt_fifo_get_item_content(item);
- int value = 0;
- smx_simcall_t saved_req = MC_state_get_executed_request(state, &value);
- const smx_process_t issuer = MC_smx_simcall_get_issuer(saved_req);
- const int pid = issuer->pid;
-
- // Serialization the (pid, value) pair:
- const char* sep = (item!=start) ? ";" : "";
- if (value)
- fprintf(file, "%s%u/%u", sep, pid, value);
- else
- fprintf(file, "%s%u", sep, pid);
- }
-
- fclose(file);
- return buffer;
-}
-
-void MC_record_dump_path(xbt_fifo_t stack)