#include "src/mc/mc_base.h"
#include "mc/mc.h"
-#include "simgrid/config.h"
#include "src/kernel/activity/CommImpl.hpp"
#include "src/kernel/activity/MutexImpl.hpp"
-#include "src/mc/mc_config.hpp"
-#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_replay.hpp"
#include "src/simix/smx_private.hpp"
return true;
}
/* On the other hand if it hasn't a timeout, check if the comm is ready.*/
- else if (act->detached && act->src_actor_ == nullptr &&
- act->type == simgrid::kernel::activity::CommImpl::Type::READY)
+ else if (act->detached() && act->src_actor_ == nullptr &&
+ act->type_ == simgrid::kernel::activity::CommImpl::Type::READY)
return (act->dst_actor_ != nullptr);
return (act->src_actor_ && act->dst_actor_);
}
case SIMCALL_MUTEX_LOCK: {
smx_mutex_t mutex = simcall_mutex_lock__get__mutex(req);
- if (mutex->owner == nullptr)
+ if (mutex->owner_ == nullptr)
return true;
- return mutex->owner->get_pid() == req->issuer->get_pid();
+ return mutex->owner_->get_pid() == req->issuer->get_pid();
}
case SIMCALL_SEM_ACQUIRE: {