comm_addr = remote(static_cast<simgrid::kernel::activity::CommImpl*>(addr));
}
checker->complete_comm_pattern(comm_addr, MC_smx_simcall_get_issuer(req)->get_pid(), backtracking);
comm_addr = remote(static_cast<simgrid::kernel::activity::CommImpl*>(addr));
}
checker->complete_comm_pattern(comm_addr, MC_smx_simcall_get_issuer(req)->get_pid(), backtracking);