- stream << (short)mc::Transition::Type::TESTANY << ' ' << activities_.size() << ' ';
- for (auto const& act : activities_) {
- serialize_activity_test(act, stream);
- stream << ' ';
- }
-}
-void ActivityTestSimcall::serialize(std::stringstream& stream) const
-{
- serialize_activity_test(activity_, stream);
-}
-static void serialize_activity_wait(const activity::ActivityImpl* act, bool timeout, std::stringstream& stream)
-{
- if (auto* comm = dynamic_cast<activity::CommImpl const*>(act)) {
- stream << (short)mc::Transition::Type::COMM_WAIT << ' ';
- stream << timeout << ' ' << comm;
-
- stream << ' ' << (comm->src_actor_ != nullptr ? comm->src_actor_->get_pid() : -1);
- stream << ' ' << (comm->dst_actor_ != nullptr ? comm->dst_actor_->get_pid() : -1);
- stream << ' ' << comm->get_mailbox_id();
- stream << ' ' << (void*)comm->src_buff_ << ' ' << (void*)comm->dst_buff_ << ' ' << comm->src_buff_size_;
- } else {
- stream << (short)mc::Transition::Type::UNKNOWN;
- }