Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove MC code in sigsegvhandler
[simgrid.git] / src / simix / smx_global.c
index 3b92c94..aae71fa 100644 (file)
@@ -88,14 +88,6 @@ static void _XBT_CALL segvhandler(int signum, siginfo_t *siginfo, void *context)
     }
 #endif
   }
     }
 #endif
   }
-#ifdef HAVE_MC
-  if (MC_is_active()) {
-    if (mc_stack) {
-      MC_dump_stack_safety(mc_stack);
-    }
-    MC_print_statistics(mc_stats);
-  }
-#endif
   raise(signum);
 }
 
   raise(signum);
 }