- smx_process_t src_proc = mc_model_checker->process().resolveProcess(
- simgrid::mc::remote(act->comm.src_proc));
- smx_process_t dst_proc = mc_model_checker->process().resolveProcess(
- simgrid::mc::remote(act->comm.dst_proc));
- args = bprintf("comm=%s [(%lu)%s (%s)-> (%lu)%s (%s)]", p,
- src_proc ? src_proc->pid : 0,
- src_proc ? MC_smx_process_get_host_name(src_proc) : "",
- src_proc ? MC_smx_process_get_name(src_proc) : "",
- dst_proc ? dst_proc->pid : 0,
- dst_proc ? MC_smx_process_get_host_name(dst_proc) : "",
- dst_proc ? MC_smx_process_get_name(dst_proc) : "");
+ smx_actor_t src_proc = mc_model_checker->process().resolveActor(simgrid::mc::remote(act->src_proc));
+ smx_actor_t dst_proc = mc_model_checker->process().resolveActor(simgrid::mc::remote(act->dst_proc));
+ args =
+ bprintf("comm=%s [(%ld)%s (%s)-> (%ld)%s (%s)]", p, src_proc ? src_proc->pid : 0,
+ src_proc ? MC_smx_actor_get_host_name(src_proc) : "", src_proc ? MC_smx_actor_get_name(src_proc) : "",
+ dst_proc ? dst_proc->pid : 0, dst_proc ? MC_smx_actor_get_host_name(dst_proc) : "",
+ dst_proc ? MC_smx_actor_get_name(dst_proc) : "");