From: Maxwell Pirtle Date: Tue, 16 May 2023 06:48:13 +0000 (+0200) Subject: Add test files for WakeupTree X-Git-Tag: v3.34~68^2~28 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9307ac7861b490d95759a67b7cb0bfc25d349577 Add test files for WakeupTree --- diff --git a/MANIFEST.in b/MANIFEST.in index 02e695c03d..6ed7f62e48 100644 --- 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 8d2f014978..143c0a7d4f 100644 --- 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(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(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{}); @@ -158,10 +158,10 @@ TEST_CASE("simgrid::mc::odpor::Execution: Testing Racing Events and Initials") const auto a4 = std::make_shared(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{}); @@ -207,11 +207,11 @@ TEST_CASE("simgrid::mc::odpor::Execution: Testing Racing Events and Initials") const auto a5 = std::make_shared(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{0}); } @@ -230,16 +230,16 @@ TEST_CASE("simgrid::mc::odpor::Execution: Testing Racing Events and Initials") const auto a9 = std::make_shared(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{}); diff --git a/src/mc/explo/odpor/WakeupTree_test.cpp b/src/mc/explo/odpor/WakeupTree_test.cpp new file mode 100644 index 0000000000..c77c1e60d7 --- /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 e5167026ba..09491e4cac 100644 --- 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