model-checker : new tesh example for liveness model checking with visited state reduction

[simgrid.git] / buildtools / Cmake / CTestConfig.cmake

diff --git a/buildtools/Cmake/CTestConfig.cmake b/buildtools/Cmake/CTestConfig.cmake
index 8272ecd..e51e466 100644 (file)
--- a/buildtools/Cmake/CTestConfig.cmake
+++ b/buildtools/Cmake/CTestConfig.cmake
@@ -48,3 +48,23 @@ set(PIPOL_IMAGE $ENV{PIPOL_IMAGE})
 if(NOT ${PIPOL_IMAGE} MATCHES "\n")
   set(SITE ${PIPOL_IMAGE})
 endif()
+
+set(PATTERN_CTEST_IGNORED "")
+if(enable_coverage)
+    set(PATTERN_CTEST_IGNORED 
+      "/tools/"
+      "/buildtools/"
+      "/include/"
+      "/testsuite/"
+      "/teshsuite/"
+      "/src/bindings/"
+    )
+    if(NOT release)
+       set(PATTERN_CTEST_IGNORED 
+        ${PATTERN_CTEST_IGNORED}
+        "/examples/"
+        )
+    endif()
+endif()
+
+CONFIGURE_FILE(${CMAKE_HOME_DIRECTORY}/buildtools/Cmake/CTestCustom.cmake ${CMAKE_BINARY_DIR}/CTestCustom.cmake @ONLY)