X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f85421b192d9ec5505120536e00df7252dad0cfe..f18ab288219690177e48123c64ba809bd421f02a:/examples/msg/mc/bugged2.c

diff --git a/examples/msg/mc/bugged2.c b/examples/msg/mc/bugged2.c
index b7d2b65f2c..180db605e0 100644
--- a/examples/msg/mc/bugged2.c
+++ b/examples/msg/mc/bugged2.c
@@ -1,3 +1,8 @@
+/******************** Non-deterministic message ordering  *********************/
+/* Server assumes a fixed order in the reception of messages from its clients */
+/* which is incorrect because the message ordering is non-deterministic       */
+/******************************************************************************/
+
 #include <msg/msg.h>
 #include <mc/modelchecker.h>
 #define N 3