char message_buffer[MC_MESSAGE_LENGTH];
size_t s;
if ((s = recv(mc_client->fd, &message_buffer, sizeof(message_buffer), 0)) == -1)
- xbt_die("Could not receive commands from the model-checker: %s",
- strerror(errno));
+ xbt_die("Could not receive commands from the model-checker");
XBT_DEBUG("Receive message from model-checker");
s_mc_message_t message;
int res;
if ((res = MC_protocol_send_simple_message(mc_model_checker->process.socket,
MC_MESSAGE_DEADLOCK_CHECK)))
- xbt_die("Could not check deadlock state: %s",strerror(res));
+ xbt_die("Could not check deadlock state");
s_mc_int_message_t message;
ssize_t s = MC_receive_message(mc_model_checker->process.socket, &message, sizeof(message));
if (s == -1)
{
int e;
if ((e = MC_protocol_send_simple_message(socket, MC_MESSAGE_HELLO)) != 0) {
- XBT_ERROR("Could not send HELLO message: %s", strerror(e));
+ XBT_ERROR("Could not send HELLO message");
return 1;
}
if (errno == EINTR)
continue;
else {
- XBT_ERROR("Could not receive HELLO message: %s", strerror(errno));
+ XBT_ERROR("Could not receive HELLO message");
return 2;
}
}
else
break;
} else {
- XBT_ERROR("Could not wait for pid: %s", strerror(errno));
+ XBT_ERROR("Could not wait for pid");
throw std::system_error(errno, std::system_category());
}
}