XBT_LOG_NEW_DEFAULT_CATEGORY(random_bug, "Application");
/** An (fake) application with a bug occuring for some random values */
XBT_LOG_NEW_DEFAULT_CATEGORY(random_bug, "Application");
/** An (fake) application with a bug occuring for some random values */