Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Run mc-*-liveness tests serial, and hope to pass on CI.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 27 Apr 2023 12:57:19 +0000 (14:57 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 27 Apr 2023 12:57:25 +0000 (14:57 +0200)
examples/cpp/CMakeLists.txt

index c0eca33..1557b7a 100644 (file)
@@ -212,6 +212,10 @@ foreach (example activity-testany activity-waitany
   unset(_${example}_teshfile)
 endforeach()
 
+# Don't run mc-*-liveness tests in parallel, as they can use a lot of memory and timeout.
+get_directory_property(_serial_tests TESTS)
+list(FILTER _serial_tests INCLUDE REGEX "-mc-.*-liveness-")
+set_tests_properties(${_serial_tests} PROPERTIES RUN_SERIAL "TRUE")
 
 # Specific examples
 ###################