Add test files for WakeupTree

diff --git a/MANIFEST.in b/MANIFEST.in
index 02e695c..6ed7f62 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2197,6 +2197,7 @@ include src/mc/explo/odpor/Execution.hpp
 include src/mc/explo/odpor/Execution_test.cpp
 include src/mc/explo/odpor/WakeupTree.cpp
 include src/mc/explo/odpor/WakeupTree.hpp
+include src/mc/explo/odpor/WakeupTree_test.cpp
 include src/mc/explo/odpor/WakeupTreeIterator.cpp
 include src/mc/explo/odpor/WakeupTreeIterator.hpp
 include src/mc/explo/odpor/odpor_forward.hpp

diff --git a/src/mc/explo/odpor/Execution_test.cpp b/src/mc/explo/odpor/Execution_test.cpp
index 8d2f014..143c0a7 100644 (file)
--- a/src/mc/explo/odpor/Execution_test.cpp
+++ b/src/mc/explo/odpor/Execution_test.cpp
@@ -32,10 +32,10 @@ TEST_CASE("simgrid::mc::odpor::Execution: Testing Happens-Before")
     const auto a4 = std::make_shared<DependentAction>(Transition::Type::UNKNOWN, 4);
 
     Execution execution;
-    execution.push_transition(a1.get());
-    execution.push_transition(a2.get());
-    execution.push_transition(a3.get());
-    execution.push_transition(a4.get());
+    execution.push_transition(a1);
+    execution.push_transition(a2);
+    execution.push_transition(a3);
+    execution.push_transition(a4);
 
     SECTION("Happens-before is irreflexive")
     {
@@ -78,10 +78,10 @@ TEST_CASE("simgrid::mc::odpor::Execution: Testing Happens-Before")
     // the another
 
     Execution execution;
-    execution.push_transition(a1.get());
-    execution.push_transition(a2.get());
-    execution.push_transition(a3.get());
-    execution.push_transition(a4.get());
+    execution.push_transition(a1);
+    execution.push_transition(a2);
+    execution.push_transition(a3);
+    execution.push_transition(a4);
 
     SECTION("Happens-before is irreflexive")
     {
@@ -124,11 +124,11 @@ TEST_CASE("simgrid::mc::odpor::Execution: Testing Racing Events and Initials")
     const auto a5 = std::make_shared<DependentAction>(Transition::Type::UNKNOWN, 2);
 
     Execution execution;
-    execution.push_transition(a1.get());
-    execution.push_transition(a2.get());
-    execution.push_transition(a3.get());
-    execution.push_transition(a4.get());
-    execution.push_transition(a5.get());
+    execution.push_transition(a1);
+    execution.push_transition(a2);
+    execution.push_transition(a3);
+    execution.push_transition(a4);
+    execution.push_transition(a5);
 
     // Nothing comes before event 0
     REQUIRE(execution.get_racing_events_of(0) == std::unordered_set<Execution::EventHandle>{});
@@ -158,10 +158,10 @@ TEST_CASE("simgrid::mc::odpor::Execution: Testing Racing Events and Initials")
     const auto a4 = std::make_shared<DependentAction>(Transition::Type::UNKNOWN, 3);
 
     Execution execution;
-    execution.push_transition(a1.get());
-    execution.push_transition(a2.get());
-    execution.push_transition(a3.get());
-    execution.push_transition(a4.get());
+    execution.push_transition(a1);
+    execution.push_transition(a2);
+    execution.push_transition(a3);
+    execution.push_transition(a4);
 
     // Nothing comes before event 0
     REQUIRE(execution.get_racing_events_of(0) == std::unordered_set<Execution::EventHandle>{});
@@ -207,11 +207,11 @@ TEST_CASE("simgrid::mc::odpor::Execution: Testing Racing Events and Initials")
     const auto a5 = std::make_shared<DependentAction>(Transition::Type::UNKNOWN, 3);
 
     Execution execution;
-    execution.push_transition(a1.get());
-    execution.push_transition(a2.get());
-    execution.push_transition(a3.get());
-    execution.push_transition(a4.get());
-    execution.push_transition(a5.get());
+    execution.push_transition(a1);
+    execution.push_transition(a2);
+    execution.push_transition(a3);
+    execution.push_transition(a4);
+    execution.push_transition(a5);
 
     REQUIRE(execution.get_racing_events_of(4) == std::unordered_set<Execution::EventHandle>{0});
   }
@@ -230,16 +230,16 @@ TEST_CASE("simgrid::mc::odpor::Execution: Testing Racing Events and Initials")
     const auto a9 = std::make_shared<ConditionallyDependentAction>(Transition::Type::UNKNOWN, 2);
 
     Execution execution;
-    execution.push_transition(a0.get());
-    execution.push_transition(a1.get());
-    execution.push_transition(a2.get());
-    execution.push_transition(a3.get());
-    execution.push_transition(a4.get());
-    execution.push_transition(a5.get());
-    execution.push_transition(a6.get());
-    execution.push_transition(a7.get());
-    execution.push_transition(a8.get());
-    execution.push_transition(a9.get());
+    execution.push_transition(a0);
+    execution.push_transition(a1);
+    execution.push_transition(a2);
+    execution.push_transition(a3);
+    execution.push_transition(a4);
+    execution.push_transition(a5);
+    execution.push_transition(a6);
+    execution.push_transition(a7);
+    execution.push_transition(a8);
+    execution.push_transition(a9);
 
     // Nothing comes before event 0
     REQUIRE(execution.get_racing_events_of(0) == std::unordered_set<Execution::EventHandle>{});

diff --git a/src/mc/explo/odpor/WakeupTree_test.cpp b/src/mc/explo/odpor/WakeupTree_test.cpp
new file mode 100644 (file)
index 0000000..c77c1e6
--- /dev/null
+++ b/src/mc/explo/odpor/WakeupTree_test.cpp
@@ -0,0 +1,13 @@
+/* Copyright (c) 2017-2023. 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. */
+
+#include "src/3rd-party/catch.hpp"
+#include "src/mc/explo/odpor/WakeupTree.hpp"
+#include "src/mc/explo/udpor/udpor_tests_private.hpp"
+
+using namespace simgrid::mc;
+using namespace simgrid::mc::odpor;
+
+TEST_CASE("simgrid::mc::odpor::WakeupTree: ") {}
\ No newline at end of file

diff --git a/tools/cmake/Tests.cmake b/tools/cmake/Tests.cmake
index e516702..09491e4 100644 (file)
--- a/tools/cmake/Tests.cmake
+++ b/tools/cmake/Tests.cmake
@@ -134,6 +134,7 @@ set(MC_UNIT_TESTS src/mc/sosp/Snapshot_test.cpp
                   src/mc/sosp/PageStore_test.cpp
                   src/mc/explo/odpor/ClockVector_test.cpp
                   src/mc/explo/odpor/Execution_test.cpp
+                  src/mc/explo/odpor/WakeupTree_test.cpp
                   src/mc/explo/udpor/EventSet_test.cpp
                   src/mc/explo/udpor/Unfolding_test.cpp
                   src/mc/explo/udpor/UnfoldingEvent_test.cpp