From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 11 Oct 2018 03:48:44 +0000 (-0700)
Subject: cmake: Use gcovr instead lcov for coverage report generation. (#2617)
X-Git-Tag: cvc5-1.0.0~4436
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0da5ede58934b3a30944e32835698e84626f4c0a;p=cvc5.git

cmake: Use gcovr instead lcov for coverage report generation. (#2617)
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 435407fea..62a7a7ea0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -280,7 +280,7 @@ if(ENABLE_COVERAGE)
   # 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(
+  setup_target_for_coverage_gcovr_html(
     NAME coverage
     EXECUTABLE
       ctest -j${CTEST_NTHREADS} -LE "example"