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 d62d71c..e51e466 100644 (file)
--- a/buildtools/Cmake/CTestConfig.cmake
+++ b/buildtools/Cmake/CTestConfig.cmake
@@ -59,7 +59,7 @@ if(enable_coverage)
       "/teshsuite/"
       "/src/bindings/"
     )
-    if(release)
+    if(NOT release)
        set(PATTERN_CTEST_IGNORED 
         ${PATTERN_CTEST_IGNORED}
         "/examples/"