- return MC_smx_resolve_process(simgrid::mc::remote(mutex->owner))->pid ==
- MC_smx_resolve_process(simgrid::mc::remote(req->issuer))->pid;
+ return modelchecked.resolveProcess(simgrid::mc::remote(mutex->owner))->pid
+ == modelchecked.resolveProcess(simgrid::mc::remote(req->issuer))->pid;
+ }