if (use_remote_comm) {
mc_model_checker->process().read(temp_synchro, remote(
static_cast<simgrid::simix::Comm*>(remote_act)));
- act = static_cast<simgrid::simix::Comm*>(temp_synchro.data());
+ act = temp_synchro.getBuffer();
} else
act = remote_act;
if (use_remote_comm) {
mc_model_checker->process().read(temp_synchro, remote(
static_cast<simgrid::simix::Comm*>(remote_act)));
- act = static_cast<simgrid::simix::Comm*>(temp_synchro.data());
+ act = temp_synchro.getBuffer();
} else
act = remote_act;
simgrid::mc::Remote<simgrid::simix::Comm> temp_comm;
mc_model_checker->process().read(temp_comm, remote(
static_cast<simgrid::simix::Comm*>(remote_act)));
- simgrid::simix::Comm* comm = static_cast<simgrid::simix::Comm*>(temp_comm.data());
+ simgrid::simix::Comm* comm = temp_comm.getBuffer();
return comm->src_proc && comm->dst_proc;
}
simgrid::mc::Remote<simgrid::simix::Comm> temp_comm;
mc_model_checker->process().read(temp_comm, remote(
static_cast<simgrid::simix::Comm*>(remote_act)));
- simgrid::simix::Comm* comm = static_cast<simgrid::simix::Comm*>(temp_comm.data());
+ simgrid::simix::Comm* comm = temp_comm.getBuffer();
smx_process_t src_proc = mc_model_checker->process().resolveProcess(
simgrid::mc::remote(comm->src_proc));
simgrid::mc::Remote<simgrid::simix::Comm> temp_comm;
mc_model_checker->process().read(temp_comm, remote(
static_cast<simgrid::simix::Comm*>(remote_act)));
- simgrid::simix::Comm* comm = static_cast<simgrid::simix::Comm*>(temp_comm.data());
+ simgrid::simix::Comm* comm = temp_comm.getBuffer();
if (comm->src_proc == nullptr || comm->dst_proc == nullptr) {
if (issuer->host)
label = simgrid::xbt::string_printf("[(%lu)%s] Test FALSE",