#include <sys/time.h>
#endif
-#include "src/simix/ActorImpl.hpp"
+#include "src/kernel/actor/ActorImpl.hpp"
#if SIMGRID_HAVE_MC
#include "src/mc/checker/Checker.hpp"
MC_ignore_heap(simgrid::mc::processes_time.data(),
simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
simgrid::mc::Client::get()->mainLoop();
- simgrid::mc::processes_time.clear();
}
void MC_show_deadlock()