else
other_comm->start();
- if (auto* observer = dynamic_cast<actor::CommIsendSimcall*>(sender->simcall_.observer_)) {
- observer->set_result(detached ? nullptr : other_comm);
- sender->simcall_answer();
- }
-
return (detached ? nullptr : other_comm);
}
}
other_comm->start();
- if (auto* observer = dynamic_cast<actor::CommIrecvSimcall*>(receiver->simcall_.observer_)) {
- observer->set_result(other_comm);
- receiver->simcall_answer();
- }
-
return other_comm;
}
+
bool CommImpl::test(actor::ActorImpl* issuer)
{
if ((MC_is_active() || MC_record_replay_is_active()) && src_actor_ && dst_actor_)