X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/dbbf86e753ca83589960c0af4f108bfda7bc043e..3ddb87efeb93cc20cffe56c8e68bb430cc38a91f:/examples/msg/mc/bugged2.c diff --git a/examples/msg/mc/bugged2.c b/examples/msg/mc/bugged2.c index 22f3d54652..95c08544e3 100644 --- a/examples/msg/mc/bugged2.c +++ b/examples/msg/mc/bugged2.c @@ -14,34 +14,35 @@ int client(int argc, char *argv[]); int server(int argc, char *argv[]) { - m_task_t task1, task2; + m_task_t task1 = NULL; + m_task_t task2 = NULL; long val1, val2; MSG_task_receive(&task1, "mymailbox"); val1 = (long) MSG_task_get_data(task1); MSG_task_destroy(task1); task1 = NULL; - INFO1("Received %lu", val1); + XBT_INFO("Received %lu", val1); MSG_task_receive(&task2, "mymailbox"); val2 = (long) MSG_task_get_data(task2); MSG_task_destroy(task2); task2 = NULL; - INFO1("Received %lu", val2); + XBT_INFO("Received %lu", val2); MC_assert(min(val1, val2) == 1); MSG_task_receive(&task1, "mymailbox"); val1 = (long) MSG_task_get_data(task1); MSG_task_destroy(task1); - INFO1("Received %lu", val1); + XBT_INFO("Received %lu", val1); MSG_task_receive(&task2, "mymailbox"); val2 = (long) MSG_task_get_data(task2); MSG_task_destroy(task2); - INFO1("Received %lu", val2); + XBT_INFO("Received %lu", val2); - INFO0("OK"); + XBT_INFO("OK"); return 0; } @@ -52,10 +53,10 @@ int client(int argc, char *argv[]) m_task_t task2 = MSG_task_create("task", 0, 10000, (void *) atol(argv[1])); - INFO1("Send %d!", atoi(argv[1])); + XBT_INFO("Send %d!", atoi(argv[1])); MSG_task_send(task1, "mymailbox"); - INFO1("Send %d!", atoi(argv[1])); + XBT_INFO("Send %d!", atoi(argv[1])); MSG_task_send(task2, "mymailbox"); return 0;