s_mc_message_simcall_execute_answer_t answer;
ssize_t s = checker_side_.get_channel().receive(answer);
xbt_assert(s != -1, "Could not receive message");
- xbt_assert(s == sizeof(answer) && answer.type == MessageType::SIMCALL_EXECUTE_ANSWER,
- "Received unexpected message %s (%i, size=%i) "
- "expected MessageType::SIMCALL_EXECUTE_ANSWER (%i, size=%i)",
- to_c_str(answer.type), (int)answer.type, (int)s, (int)MessageType::SIMCALL_EXECUTE_ANSWER,
- (int)sizeof(answer));
+ xbt_assert(s == sizeof answer, "Broken message (size=%zd; expected %zu)", s, sizeof answer);
+ xbt_assert(answer.type == MessageType::SIMCALL_EXECUTE_ANSWER,
+ "Received unexpected message %s (%i); expected MessageType::SIMCALL_EXECUTE_ANSWER (%i)",
+ to_c_str(answer.type), (int)answer.type, (int)MessageType::SIMCALL_EXECUTE_ANSWER);
if (new_transition) {
std::stringstream stream(answer.buffer.data());
s_mc_message_t answer;
ssize_t s = checker_side_.get_channel().receive(answer);
xbt_assert(s != -1, "Could not receive answer to FINALIZE");
- xbt_assert(s == sizeof(answer) && answer.type == MessageType::FINALIZE_REPLY,
- "Received unexpected message %s (%i, size=%i) expected MessageType::FINALIZE_REPLY (%i, size=%i)",
- to_c_str(answer.type), (int)answer.type, (int)s, (int)MessageType::FINALIZE_REPLY, (int)sizeof(answer));
+ xbt_assert(s == sizeof answer, "Broken message (size=%zd; expected %zu)", s, sizeof answer);
+ xbt_assert(answer.type == MessageType::FINALIZE_REPLY,
+ "Received unexpected message %s (%i); expected MessageType::FINALIZE_REPLY (%i)", to_c_str(answer.type),
+ (int)answer.type, (int)MessageType::FINALIZE_REPLY);
}
} // namespace simgrid::mc
s_mc_message_actors_status_answer_t answer;
ssize_t answer_size = model_checker_->channel().receive(answer);
xbt_assert(answer_size != -1, "Could not receive message");
- xbt_assert(answer_size == sizeof answer && answer.type == MessageType::ACTORS_STATUS_REPLY,
- "Received unexpected message %s (%i, size=%zd) "
- "expected MessageType::ACTORS_STATUS_REPLY (%i, size=%zu)",
- to_c_str(answer.type), (int)answer.type, answer_size, (int)MessageType::ACTORS_STATUS_REPLY,
- sizeof answer);
+ xbt_assert(answer_size == sizeof answer, "Broken message (size=%zd; expected %zu)", answer_size, sizeof answer);
+ xbt_assert(answer.type == MessageType::ACTORS_STATUS_REPLY,
+ "Received unexpected message %s (%i); expected MessageType::ACTORS_STATUS_REPLY (%i)",
+ to_c_str(answer.type), (int)answer.type, (int)MessageType::ACTORS_STATUS_REPLY);
// Message sanity checks
xbt_assert(answer.count >= 0, "Received an ACTOR_STATUS_REPLY message with an actor count of '%d' < 0", answer.count);
s_mc_message_int_t message;
ssize_t received = model_checker_->channel().receive(message);
xbt_assert(received != -1, "Could not receive message");
- xbt_assert(received == sizeof message && message.type == MessageType::DEADLOCK_CHECK_REPLY,
- "Received unexpected message %s (%i, size=%zd) "
- "expected MessageType::DEADLOCK_CHECK_REPLY (%i, size=%zu)",
- to_c_str(message.type), (int)message.type, received, (int)MessageType::DEADLOCK_CHECK_REPLY,
- sizeof message);
+ xbt_assert(received == sizeof message, "Broken message (size=%zd; expected %zu)", received, sizeof message);
+ xbt_assert(message.type == MessageType::DEADLOCK_CHECK_REPLY,
+ "Received unexpected message %s (%i); expected MessageType::DEADLOCK_CHECK_REPLY (%i)",
+ to_c_str(message.type), (int)message.type, (int)MessageType::DEADLOCK_CHECK_REPLY);
if (message.value != 0) {
XBT_CINFO(mc_global, "Counter-example execution trace:");