X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ecd5f7562caf1d443bf22788fa5f4fac408776ec..0bb08c80b2bff9de24524dc98f04cd145dfc93c0:/src/mc/mc_global.cpp diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp index b14329839c..4ab05de085 100644 --- a/src/mc/mc_global.cpp +++ b/src/mc/mc_global.cpp @@ -15,7 +15,6 @@ #include "xbt/automaton.h" #include "xbt/backtrace.hpp" #include "xbt/dynar.h" -#include "xbt/swag.h" #include "mc_base.h" @@ -99,10 +98,6 @@ void MC_run() simgrid::mc::processes_time.resize(SIMIX_process_get_maxpid()); MC_ignore_heap(simgrid::mc::processes_time.data(), simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0])); - for (auto const& kv : simix_global->process_list) { - smx_actor_t actor = kv.second; - MC_ignore_heap(&(actor->process_hookup), sizeof(actor->process_hookup)); - } simgrid::mc::Client::get()->mainLoop(); simgrid::mc::processes_time.clear(); }