There seems to be something broken with them on freebsd.
(int)sizeof(answer));
s_mc_message_actors_status_one_t status[answer.count];
- received = model_checker_->channel().receive(&status, sizeof(status));
- xbt_assert(static_cast<size_t>(received) == sizeof(status));
+ if (answer.count > 0) {
+ received = model_checker_->channel().receive(&status, sizeof(status));
+ xbt_assert(static_cast<size_t>(received) == sizeof(status));
+ }
whereto.clear();
for (auto const& actor : status)
i++;
}
xbt_assert(channel_.send(answer) == 0, "Could not send ACTORS_STATUS_REPLY msg");
- xbt_assert(channel_.send(status, sizeof(status)) == 0, "Could not send ACTORS_STATUS_REPLY data");
+ if (answer.count > 0)
+ xbt_assert(channel_.send(status, sizeof(status)) == 0, "Could not send ACTORS_STATUS_REPLY data");
}
#define assert_msg_size(_name_, _type_) \