Use std::any_of(...).

[simgrid.git] / tools / cmake / Tests.cmake

diff --git a/tools/cmake/Tests.cmake b/tools/cmake/Tests.cmake
index 6c71e1d107af78bcef502013ee44ad633697bf66..6023103a61952edbc9012b0c78d9de7cb2c90c2d 100644 (file)
--- a/tools/cmake/Tests.cmake
+++ b/tools/cmake/Tests.cmake
@@ -138,8 +138,8 @@ set(STATEFUL_MC_UNIT_TESTS src/mc/sosp/Snapshot_test.cpp
                            src/mc/sosp/PageStore_test.cpp
                            src/mc/explo/udpor/Unfolding_test.cpp
                            src/mc/explo/udpor/UnfoldingEvent_test.cpp
                            src/mc/sosp/PageStore_test.cpp
                            src/mc/explo/udpor/Unfolding_test.cpp
                            src/mc/explo/udpor/UnfoldingEvent_test.cpp

-

                            src/mc/explo/udpor/EventSet_test.cpp
                            src/mc/explo/udpor/EventSet_test.cpp

+                           src/mc/explo/udpor/ExtensionSet_test.cpp

                            src/mc/explo/udpor/History_test.cpp
                            src/mc/explo/udpor/Configuration_test.cpp)
 
                            src/mc/explo/udpor/History_test.cpp
                            src/mc/explo/udpor/Configuration_test.cpp)