- XBT_INFO("Locked request:");
- /*req_str = simgrid::mc::request_to_string(req);
- XBT_INFO("%s", req_str);
- xbt_free(req_str); */
- XBT_INFO("Counter-example execution trace:");
- MC_dump_stack_safety(mc_stack);
- MC_print_statistics(mc_stats);
-}
-
-void MC_show_non_termination(void){
- XBT_INFO("******************************************");
- XBT_INFO("*** NON-PROGRESSIVE CYCLE DETECTED ***");
- XBT_INFO("******************************************");