From 464470c311de4d26b59a2f4ddca6960c3161997a Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sat, 29 Sep 2018 22:55:33 -0700
Subject: [PATCH] cmake: Ignore ctest exit code for coverage reports.

---
 CMakeLists.txt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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)
-- 
2.30.2