/******************************************************************************/
#include <msg/msg.h>
-#include <mc/modelchecker.h>
+#include <simgrid/modelchecker.h>
XBT_LOG_NEW_DEFAULT_CATEGORY(bugged3, "this example");
val1 = (long) MSG_task_get_data(task1);
XBT_INFO("Received %lu", val1);
- //MC_assert(val1 == 2);
+ MC_assert(val1 == 2);
XBT_INFO("OK");
return 0;