X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0546bca18b0a87c91e5132340a0b1359ba0b5130..b41c921fc0a6a13f5db4d6cefb9b6955d5f21e3b:/teshsuite/mc/random-bug/random-bug.cpp?ds=sidebyside diff --git a/teshsuite/mc/random-bug/random-bug.cpp b/teshsuite/mc/random-bug/random-bug.cpp index 6f8463d135..03bc2ae7df 100644 --- a/teshsuite/mc/random-bug/random-bug.cpp +++ b/teshsuite/mc/random-bug/random-bug.cpp @@ -12,7 +12,7 @@ XBT_LOG_NEW_DEFAULT_CATEGORY(random_bug, "For this example"); enum { ABORT, ASSERT, PRINTF } behavior; -/** An (fake) application with a bug occuring for some random values */ +/** A fake application with a bug occuring for some random values */ static void app() { int x = MC_random(0, 5); @@ -42,6 +42,9 @@ int main(int argc, char* argv[]) } else if (strcmp(argv[1], "printf") == 0) { XBT_INFO("Behavior: printf"); behavior = PRINTF; + } else { + xbt_die("Please use either 'abort', 'assert' or 'printf' as first parameter, to specify what to do when the error " + "is found."); } e.load_platform(argv[2]);