Prepare to windows.

[simgrid.git] / examples / msg / mc / bugged1.c

diff --git a/examples/msg/mc/bugged1.c b/examples/msg/mc/bugged1.c
index ce8a687..43e4cb4 100644 (file)
--- a/examples/msg/mc/bugged1.c
+++ b/examples/msg/mc/bugged1.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
@@ -44,7 +49,7 @@ int main(int argc,char*argv[]) {
 
  MSG_function_register("client", client);
 
- MSG_launch_application("deploy.xml");
+ MSG_launch_application("deploy_bugged1.xml");
 
  MSG_main();