simix_global->create_process_function always exists

[simgrid.git] / src / mc / Channel.hpp

diff --git a/src/mc/Channel.hpp b/src/mc/Channel.hpp
index 61514adc366aba50543e3e95e4ff0e8599973a43..30e03c6b1fcbc6851a79aaffdb6ccaf8d0653538 100644 (file)
--- a/src/mc/Channel.hpp
+++ b/src/mc/Channel.hpp
@@ -16,6 +16,11 @@
 namespace simgrid {
 namespace mc {
 
+/** 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.
+ */
 class Channel {
   int socket_ = -1;
   template<class M>
@@ -26,7 +31,7 @@ class Channel {
 public:
 
   Channel() {}
-  Channel(int sock) : socket_(sock) {}
+  explicit Channel(int sock) : socket_(sock) {}
   ~Channel();
 
   // No copy: