src/mc/explo/udpor/Configuration_test.cpp

   1 /* Copyright (c) 2017-2023. The SimGrid Team. All rights reserved.               */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #include "src/3rd-party/catch.hpp"
   7 #include "src/mc/explo/udpor/Configuration.hpp"
   8 #include "src/mc/explo/udpor/EventSet.hpp"
   9 #include "src/mc/explo/udpor/UnfoldingEvent.hpp"
  10
  11 using namespace simgrid::mc::udpor;
  12
  13 TEST_CASE("simgrid::mc::udpor::Configuration: Constructing Configurations")
  14 {
  15   // The following tests concern the given event structure:
  16   //                e1
  17   //              /
  18   //            e2
  19   //           /
  20   //          e3
  21   //         /  /
  22   //        e4   e5
  23   UnfoldingEvent e1;
  24   UnfoldingEvent e2{&e1};
  25   UnfoldingEvent e3{&e2};
  26   UnfoldingEvent e4{&e3}, e5{&e3};
  27
  28   SECTION("Creating a configuration without events")
  29   {
  30     Configuration C;
  31     REQUIRE(C.get_events().empty());
  32     REQUIRE(C.get_latest_event() == nullptr);
  33   }
  34
  35   SECTION("Creating a configuration with events")
  36   {
  37     // 5 choose 0 = 1 test
  38     REQUIRE_NOTHROW(Configuration({&e1}));
  39
  40     // 5 choose 1 = 5 tests
  41     REQUIRE_THROWS_AS(Configuration({&e2}), std::invalid_argument);
  42     REQUIRE_THROWS_AS(Configuration({&e3}), std::invalid_argument);
  43     REQUIRE_THROWS_AS(Configuration({&e4}), std::invalid_argument);
  44     REQUIRE_THROWS_AS(Configuration({&e5}), std::invalid_argument);
  45
  46     // 5 choose 2 = 10 tests
  47     REQUIRE_NOTHROW(Configuration({&e1, &e2}));
  48     REQUIRE_THROWS_AS(Configuration({&e1, &e3}), std::invalid_argument);
  49     REQUIRE_THROWS_AS(Configuration({&e1, &e4}), std::invalid_argument);
  50     REQUIRE_THROWS_AS(Configuration({&e1, &e5}), std::invalid_argument);
  51     REQUIRE_THROWS_AS(Configuration({&e2, &e3}), std::invalid_argument);
  52     REQUIRE_THROWS_AS(Configuration({&e2, &e4}), std::invalid_argument);
  53     REQUIRE_THROWS_AS(Configuration({&e2, &e5}), std::invalid_argument);
  54     REQUIRE_THROWS_AS(Configuration({&e3, &e4}), std::invalid_argument);
  55     REQUIRE_THROWS_AS(Configuration({&e3, &e5}), std::invalid_argument);
  56     REQUIRE_THROWS_AS(Configuration({&e4, &e5}), std::invalid_argument);
  57
  58     // 5 choose 3 = 10 tests
  59     REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3}));
  60     REQUIRE_THROWS_AS(Configuration({&e1, &e2, &e4}), std::invalid_argument);
  61     REQUIRE_THROWS_AS(Configuration({&e1, &e2, &e5}), std::invalid_argument);
  62     REQUIRE_THROWS_AS(Configuration({&e1, &e3, &e4}), std::invalid_argument);
  63     REQUIRE_THROWS_AS(Configuration({&e1, &e3, &e5}), std::invalid_argument);
  64     REQUIRE_THROWS_AS(Configuration({&e1, &e4, &e5}), std::invalid_argument);
  65     REQUIRE_THROWS_AS(Configuration({&e2, &e3, &e4}), std::invalid_argument);
  66     REQUIRE_THROWS_AS(Configuration({&e2, &e3, &e5}), std::invalid_argument);
  67     REQUIRE_THROWS_AS(Configuration({&e2, &e4, &e5}), std::invalid_argument);
  68     REQUIRE_THROWS_AS(Configuration({&e3, &e4, &e5}), std::invalid_argument);
  69
  70     // 5 choose 4 = 5 tests
  71     REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3, &e4}));
  72     REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3, &e5}));
  73     REQUIRE_THROWS_AS(Configuration({&e1, &e2, &e4, &e5}), std::invalid_argument);
  74     REQUIRE_THROWS_AS(Configuration({&e1, &e3, &e4, &e5}), std::invalid_argument);
  75     REQUIRE_THROWS_AS(Configuration({&e2, &e3, &e4, &e5}), std::invalid_argument);
  76
  77     // 5 choose 5 = 1 test
  78     REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3, &e4, &e5}));
  79   }
  80 }
  81
  82 TEST_CASE("simgrid::mc::udpor::Configuration: Adding Events")
  83 {
  84   // The following tests concern the given event structure:
  85   //                e1
  86   //              /
  87   //            e2
  88   //           /
  89   //         /  /
  90   //        e3   e4
  91   UnfoldingEvent e1;
  92   UnfoldingEvent e2{&e1};
  93   UnfoldingEvent e3{&e2};
  94   UnfoldingEvent e4{&e2};
  95
  96   REQUIRE_THROWS_AS(Configuration().add_event(nullptr), std::invalid_argument);
  97   REQUIRE_THROWS_AS(Configuration().add_event(&e2), std::invalid_argument);
  98   REQUIRE_THROWS_AS(Configuration().add_event(&e3), std::invalid_argument);
  99   REQUIRE_THROWS_AS(Configuration().add_event(&e4), std::invalid_argument);
 100   REQUIRE_THROWS_AS(Configuration({&e1}).add_event(&e3), std::invalid_argument);
 101   REQUIRE_THROWS_AS(Configuration({&e1}).add_event(&e4), std::invalid_argument);
 102
 103   REQUIRE_NOTHROW(Configuration().add_event(&e1));
 104   REQUIRE_NOTHROW(Configuration({&e1}).add_event(&e1));
 105   REQUIRE_NOTHROW(Configuration({&e1}).add_event(&e2));
 106   REQUIRE_NOTHROW(Configuration({&e1, &e2}).add_event(&e1));
 107   REQUIRE_NOTHROW(Configuration({&e1, &e2}).add_event(&e2));
 108   REQUIRE_NOTHROW(Configuration({&e1, &e2}).add_event(&e3));
 109   REQUIRE_NOTHROW(Configuration({&e1, &e2}).add_event(&e4));
 110   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3}).add_event(&e1));
 111   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3}).add_event(&e2));
 112   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3}).add_event(&e3));
 113   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3}).add_event(&e4));
 114   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e4}).add_event(&e1));
 115   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e4}).add_event(&e2));
 116   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e4}).add_event(&e3));
 117   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e4}).add_event(&e4));
 118   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3, &e4}).add_event(&e1));
 119   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3, &e4}).add_event(&e2));
 120   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3, &e4}).add_event(&e3));
 121   REQUIRE_NOTHROW(Configuration({&e1, &e2, &e3, &e4}).add_event(&e4));
 122 }