namespace simgrid {
namespace mc {
-void wait_for_requests(void)
+void wait_for_requests()
{
#if SIMGRID_HAVE_MC
xbt_assert(mc_model_checker == nullptr);
// Called from both MCer and MCed:
bool request_is_enabled(smx_simcall_t req)
{
- unsigned int index = 0;
// TODO, add support for the subtypes?
switch (req->call) {
comms = simcall_comm_waitany__get__comms(req);
#endif
- for (index = 0; index < comms->used; ++index) {
+ for (unsigned int index = 0; index < comms->used; ++index) {
#if SIMGRID_HAVE_MC
// Fetch act from MCed memory:
// HACK, type puning
case SIMCALL_MUTEX_LOCK: {
smx_mutex_t mutex = simcall_mutex_lock__get__mutex(req);
#if SIMGRID_HAVE_MC
- simgrid::mc::Remote<simgrid::simix::Mutex> temp_mutex;
+ simgrid::mc::Remote<simgrid::simix::MutexImpl> temp_mutex;
if (mc_model_checker != nullptr) {
mc_model_checker->process().read(temp_mutex.getBuffer(), remote(mutex));
mutex = temp_mutex.getBuffer();