projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
960dfe7
)
cmake: Use gcovr instead lcov for coverage report generation. (#2617)
author
Mathias Preiner
<mathias.preiner@gmail.com>
Thu, 11 Oct 2018 03:48:44 +0000
(20:48 -0700)
committer
GitHub
<noreply@github.com>
Thu, 11 Oct 2018 03:48:44 +0000
(20:48 -0700)
CMakeLists.txt
patch
|
blob
|
history
diff --git
a/CMakeLists.txt
b/CMakeLists.txt
index 435407fea0932ca55d1c8ed0adae9a919dbbe7ae..62a7a7ea09e83c509e719d4d9b6c36bc576ef381 100644
(file)
--- 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"