From 881507dc9fbeba0c63112dd0058d9c591b67419e Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 27 Apr 2023 14:57:19 +0200
Subject: [PATCH] Run mc-*-liveness tests serial, and hope to pass on CI.

---
 examples/cpp/CMakeLists.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/examples/cpp/CMakeLists.txt b/examples/cpp/CMakeLists.txt
index c0eca33faf..1557b7a287 100644
--- a/examples/cpp/CMakeLists.txt
+++ b/examples/cpp/CMakeLists.txt
@@ -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
 ###################
-- 
2.20.1