#include <simgrid/simix.h>
+#include "mc/mc.h"
#include "src/mc/mc_base.h"
-#include "src/simix/smx_private.h"
#include "src/mc/mc_replay.h"
-#include "mc/mc.h"
-#include "src/mc/mc_protocol.h"
+#include "src/mc/remote/mc_protocol.h"
+#include "src/simix/smx_private.h"
#include "src/kernel/activity/ActivityImpl.hpp"
#include "src/kernel/activity/SynchroIo.hpp"
else if (mc_model_checker != nullptr) {
simgrid::mc::Process& modelchecked = mc_model_checker->process();
// TODO, *(mutex->owner) :/
- return modelchecked.resolveProcess(simgrid::mc::remote(mutex->owner))->pid
- == modelchecked.resolveProcess(simgrid::mc::remote(req->issuer))->pid;
+ return modelchecked.resolveActor(simgrid::mc::remote(mutex->owner))->pid ==
+ modelchecked.resolveActor(simgrid::mc::remote(req->issuer))->pid;
}
#endif
else