-
-/*
-std::string ActivityTestanySimcall::to_string(int times_considered) const
-{
- std::string res = SimcallObserver::to_string(times_considered);
- if (times_considered == -1) {
- res += "TestAny FALSE(-)";
- } else {
- res += "TestAny(" + xbt::string_printf("(%d of %zu)", times_considered + 1, activities_.size());
- }
-
- return res;
-}*/
-void ActivityWaitSimcall::serialize(mc::Transition::Type& type, std::stringstream& stream)
-{
- if (auto* comm = dynamic_cast<activity::CommImpl*>(activity_)) {
- type = mc::Transition::Type::COMM_WAIT;
- stream << (timeout_ > 0) << ' ' << 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 {
- type = mc::Transition::Type::UNKNOWN;
- }