-/* Copyright (c) 2015-2016. The SimGrid Team.
+/* Copyright (c) 2015-2017. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
/** A channel for exchanging messages between model-checker and model-checked
*
* This abstracts away the way the messages are transferred. Currently, they
- * are sent over a (connected) `SOCK_DGRAM` socket.
+ * are sent over a (connected) `SOCK_SEQPACKET` socket.
*/
class Channel {
int socket_ = -1;
int send(const void* message, size_t size) const;
int send(e_mc_message_type type) const
{
- s_mc_message message = {type};
+ s_mc_message_t message = {type};
return this->send(&message, sizeof(message));
}
/** @brief Send a message; returns 0 on success or errno on failure */