X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bdef81fa4e3566ce31b435deb98fea7b8fe70e6e..8a2f0e341903330158b58400086dde589e2178e9:/src/mc/mc_global.cpp diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp index 1adc80b8e7..e62b9c659f 100644 --- a/src/mc/mc_global.cpp +++ b/src/mc/mc_global.cpp @@ -41,10 +41,10 @@ #include "src/mc/checker/Checker.hpp" #endif -#include "src/mc/mc_record.h" -#include "src/mc/mc_protocol.h" -#include "src/mc/Client.hpp" #include "src/mc/Transition.hpp" +#include "src/mc/mc_record.h" +#include "src/mc/remote/Client.hpp" +#include "src/mc/remote/mc_protocol.h" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_global, mc, "Logging specific to MC (global)"); @@ -97,9 +97,10 @@ 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])); - smx_actor_t process; - xbt_swag_foreach(process, simix_global->process_list) - MC_ignore_heap(&(process->process_hookup), sizeof(process->process_hookup)); + for (auto 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(); }