X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/af23edcc6753f180384abf0a7ce842fc543b73c3..ff971a5b9ba883f03673047d58fe1002e247727d:/src/mc/mc_global.cpp?ds=sidebyside

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 14c3b2a976..24d755c076 100644
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -237,25 +237,11 @@ void MC_show_stack_safety(xbt_fifo_t stack)
   }
 }
 
-void MC_show_deadlock(smx_simcall_t req)
+void MC_show_deadlock(void)
 {
-  /*char *req_str = nullptr; */
   XBT_INFO("**************************");
   XBT_INFO("*** DEAD-LOCK DETECTED ***");
   XBT_INFO("**************************");
-  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("******************************************");
   XBT_INFO("Counter-example execution trace:");
   MC_dump_stack_safety(mc_stack);
   MC_print_statistics(mc_stats);