From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sun, 30 Sep 2018 05:55:33 +0000 (-0700)
Subject: cmake: Ignore ctest exit code for coverage reports.
X-Git-Tag: cvc5-1.0.0~4484
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=464470c311de4d26b59a2f4ddca6960c3161997a;p=cvc5.git

cmake: Ignore ctest exit code for coverage reports.
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 86007b39a..4f17db83b 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -269,10 +269,15 @@ if(ENABLE_COVERAGE)
   include(CodeCoverage)
   APPEND_COVERAGE_COMPILER_FLAGS()
   add_definitions(-DCVC4_COVERAGE)
+  # Note: The ctest command returns a non-zero exit code if tests fail or run
+  # into a timeout. As a consequence, the coverage report is not generated. To
+  # prevent this we always return with exit code 0 after the ctest command has
+  # finished.
   setup_target_for_coverage_lcov(
     NAME coverage
     EXECUTABLE
-      ctest -j${CTEST_NTHREADS} -LE "example" --output-on-failure $(ARGS))
+      ctest -j${CTEST_NTHREADS} -LE "example"
+        --output-on-failure $(ARGS) || exit 0)
 endif()
 
 if(ENABLE_DEBUG_CONTEXT_MM)