- MC_process_refresh_simix_process_list(
- this, this->smx_process_infos,
- remote(simix_global.getBuffer()->process_list));
- MC_process_refresh_simix_process_list(
- this, this->smx_old_process_infos,
- remote(simix_global.getBuffer()->process_to_destroy));
+ MC_process_refresh_simix_actor_dynar(this, this->smx_actors_infos, remote(simix_global.getBuffer()->actors_vector));
+ MC_process_refresh_simix_actor_dynar(this, this->smx_dead_actors_infos,
+ remote(simix_global.getBuffer()->dead_actors_vector));