#include "mc_process.h"
#include "mc_model_checker.h"
#include "mc_protocol.h"
+#include "mc_smx.h"
#endif
XBT_LOG_NEW_CATEGORY(mc, "All MC categories");
if(mutex->owner == NULL)
return TRUE;
else
+#ifdef HAVE_MC
+ return (mutex->owner->pid == MC_smx_resolve_process(req->issuer)->pid);
+#else
return (mutex->owner->pid == req->issuer->pid);
+#endif
}
default: