/******************************************************************************/
#include <msg/msg.h>
-#include <mc/modelchecker.h>
+#include <simgrid/modelchecker.h>
#define N 3
XBT_LOG_NEW_DEFAULT_CATEGORY(example, "this example");
}
MC_assert(atoi(MSG_task_get_name(task)) == 3);
- INFO0("OK");
+ XBT_INFO("OK");
return 0;
}
MSG_task_send(task, "mymailbox");
- INFO0("Sent!");
+ XBT_INFO("Sent!");
return 0;
}