-/* Copyright (c) 2015-2021. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2015-2022. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
* 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`.
*
simgrid::mc::ActorInformation info;
info.address = simgrid::mc::RemotePtr<simgrid::kernel::actor::ActorImpl>(data[i]);
- info.hostname = nullptr;
process->read_bytes(&info.copy, sizeof(info.copy), remote(data[i]));
target.push_back(std::move(info));
}
return;
MC_process_refresh_simix_actor_dynar(this, this->smx_actors_infos, actors_addr_);
- MC_process_refresh_simix_actor_dynar(this, this->smx_dead_actors_infos, dead_actors_addr_);
this->cache_flags_ |= RemoteProcess::cache_simix_processes;
}