XBT_LOG_NEW_DEFAULT_CATEGORY(synchro_crashtest, "Logs of this example");
const int test_amount = 99; /* Up to 99 to not break the logs (and thus the testing mechanism) */
XBT_LOG_NEW_DEFAULT_CATEGORY(synchro_crashtest, "Logs of this example");
const int test_amount = 99; /* Up to 99 to not break the logs (and thus the testing mechanism) */