- MSG_task_receive(&task1,"mymailbox");
- val1 = (long)MSG_task_get_data(task1);
- INFO1("Received %lu", val1);
+ MSG_task_receive(&task1, "mymailbox");
+ val1 = (long) MSG_task_get_data(task1);
+ MSG_task_destroy(task1);
+ task1 = NULL;
+ XBT_INFO("Received %lu", val1);
+
+ MSG_task_receive(&task2, "mymailbox");
+ val2 = (long) MSG_task_get_data(task2);
+ MSG_task_destroy(task2);
+ task2 = NULL;
+ XBT_INFO("Received %lu", val2);
+
+ MC_assert(min(val1, val2) == 1);