-/******************************* Core of MC *******************************/
-/**************************************************************************/
-
-void MC_run()
-{
- simgrid::mc::processes_time.resize(simgrid::kernel::actor::get_maxpid());
- MC_ignore_heap(simgrid::mc::processes_time.data(),
- simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
- simgrid::mc::AppSide::get()->main_loop();
-}