Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Obvious typo.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 8 Mar 2023 13:23:00 +0000 (14:23 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 8 Mar 2023 13:23:00 +0000 (14:23 +0100)
src/mc/explo/udpor/EventSet_test.cpp

index d7342b3..2f25e92 100644 (file)
@@ -276,7 +276,7 @@ TEST_CASE("simgrid::mc::udpor::EventSet: Set Union Tests")
     {
       // A = A union A
       EventSet A_union = A.make_union(A);
-      REQUIRE(A == A_copy);
+      REQUIRE(A == A_union);
 
       A.form_union(A);
       REQUIRE(A == A_copy);
@@ -719,4 +719,4 @@ TEST_CASE("simgrid::mc::udpor::EventSet: Testing Configurations")
     // 6 choose 6 = 1 test
     REQUIRE_FALSE(EventSet({&e1, &e2, &e3, &e4, &e5, &e6}).is_maximal_event_set());
   }
-}
\ No newline at end of file
+}