X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e1a5484101efbff9c8d982a0c4650f7953ee7e2f..38f246c4c46920a78ea0af8233449f402c178f04:/src/mc/mc_smx.cpp diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp index ce5800f2e0..e50304986a 100644 --- a/src/mc/mc_smx.cpp +++ b/src/mc/mc_smx.cpp @@ -16,10 +16,10 @@ using simgrid::mc::remote; * This is implemented by: * * - `model_checker->process.smx_process_infos` - * (copy of `simix_global->process_list`); + * (copy of `EngineImpl::actor_list_`); * * - `model_checker->process.smx_old_process_infos` - * (copy of `simix_global->actors_to_destroy`); + * (copy of `EngineImpl::actors_to_destroy_`); * * - `model_checker->hostnames`. * @@ -52,7 +52,6 @@ static void MC_process_refresh_simix_actor_dynar(const simgrid::mc::RemoteProces simgrid::mc::ActorInformation info; info.address = simgrid::mc::RemotePtr(data[i]); - info.hostname = nullptr; process->read_bytes(&info.copy, sizeof(info.copy), remote(data[i])); target.push_back(std::move(info)); }