void MC_show_deadlock(smx_simcall_t req);
void MC_show_stack_safety(xbt_fifo_t stack);
void MC_dump_stack_safety(xbt_fifo_t stack);
void MC_show_deadlock(smx_simcall_t req);
void MC_show_stack_safety(xbt_fifo_t stack);
void MC_dump_stack_safety(xbt_fifo_t stack);
/** Stack (of `mc_state_t`) representing the current position of the
* the MC in the exploration graph
/** Stack (of `mc_state_t`) representing the current position of the
* the MC in the exploration graph