X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9104957deccc59e0e804215d5db498fabfd40d29..39c935d6d5ee86d153f6f7e6a10d723ae7c57f6f:/teshsuite/mc/random-bug/random-bug.cpp diff --git a/teshsuite/mc/random-bug/random-bug.cpp b/teshsuite/mc/random-bug/random-bug.cpp index 76cc5975db..167f621a46 100644 --- a/teshsuite/mc/random-bug/random-bug.cpp +++ b/teshsuite/mc/random-bug/random-bug.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2014-2020. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2014-2021. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -10,7 +10,9 @@ XBT_LOG_NEW_DEFAULT_CATEGORY(random_bug, "For this example"); -enum { ABORT, ASSERT, PRINTF } behavior; +enum class Behavior { ABORT, ASSERT, PRINTF }; + +Behavior behavior; /** A fake application with a bug occurring for some random values */ static void app() @@ -18,12 +20,12 @@ static void app() int x = MC_random(0, 5); int y = MC_random(0, 5); - if (behavior == ASSERT) { + if (behavior == Behavior::ASSERT) { MC_assert(x != 3 || y != 4); - } else if (behavior == PRINTF) { + } else if (behavior == Behavior::PRINTF) { if (x == 3 && y == 4) XBT_ERROR("Error reached"); - } else { // behavior == ABORT + } else { // behavior == Behavior::ABORT abort(); } } @@ -35,13 +37,13 @@ int main(int argc, char* argv[]) xbt_assert(argc == 3, "Usage: random-bug raise|assert "); if (strcmp(argv[1], "abort") == 0) { XBT_INFO("Behavior: abort"); - behavior = ABORT; + behavior = Behavior::ABORT; } else if (strcmp(argv[1], "assert") == 0) { XBT_INFO("Behavior: assert"); - behavior = ASSERT; + behavior = Behavior::ASSERT; } else if (strcmp(argv[1], "printf") == 0) { XBT_INFO("Behavior: printf"); - behavior = PRINTF; + behavior = 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.");