X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/706dd4584b4002e0d948b81d103dd5c4b70db077..0762447a6350557e47757737c8d787552e213eaa:/src/mc/Channel.hpp diff --git a/src/mc/Channel.hpp b/src/mc/Channel.hpp index 64219c4eac..30e03c6b1f 100644 --- a/src/mc/Channel.hpp +++ b/src/mc/Channel.hpp @@ -18,8 +18,8 @@ namespace mc { /** A channel for exchanging messages between model-checker and model-checked * - * This hides the way the messages are transferred. Currently, they are sent - * over a SOCK_DGRAM socket. + * This abstracts away the way the messages are transferred. Currently, they + * are sent over a (connected) `SOCK_DGRAM` socket. */ class Channel { int socket_ = -1;