From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 5 Jun 2023 14:12:43 +0000 (+0200)
Subject: Enable the ODPOR/SDPOR tests in default builds also
X-Git-Tag: v3.34~57
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6a8b5dc9a2a438809aca6acea77731670845803a

Enable the ODPOR/SDPOR tests in default builds also
---

diff --git a/tools/cmake/Tests.cmake b/tools/cmake/Tests.cmake
index 09491e4cac..9a39066a42 100644
--- a/tools/cmake/Tests.cmake
+++ b/tools/cmake/Tests.cmake
@@ -128,22 +128,24 @@ set(UNIT_TESTS  src/xbt/unit-tests_main.cpp
                 src/xbt/random_test.cpp
                 src/xbt/xbt_str_test.cpp
                 src/xbt/utils/iter/subsets_tests.cpp
-                src/kernel/lmm/maxmin_test.cpp)
-
-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
-                  src/mc/explo/udpor/History_test.cpp
-                  src/mc/explo/udpor/Configuration_test.cpp)
+                src/kernel/lmm/maxmin_test.cpp
+
+                src/mc/explo/odpor/ClockVector_test.cpp
+                src/mc/explo/odpor/Execution_test.cpp
+                src/mc/explo/odpor/WakeupTree_test.cpp)
+
+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/explo/udpor/EventSet_test.cpp
+                           src/mc/explo/udpor/History_test.cpp
+                           src/mc/explo/udpor/Configuration_test.cpp)
 if (SIMGRID_HAVE_STATEFUL_MC)
-  set(UNIT_TESTS ${UNIT_TESTS} ${MC_UNIT_TESTS})
+  set(UNIT_TESTS ${UNIT_TESTS} ${STATEFUL_MC_UNIT_TESTS})
 else()
-  set(EXTRA_DIST ${EXTRA_DIST} ${MC_UNIT_TESTS})
+  set(EXTRA_DIST ${EXTRA_DIST} ${STATEFUL_MC_UNIT_TESTS})
 endif()
 if (SIMGRID_HAVE_EIGEN3)
   set(UNIT_TESTS ${UNIT_TESTS} src/kernel/lmm/bmf_test.cpp)