projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 960dfe7) | patch
cmake: Use gcovr instead lcov for coverage report generation. (#2617)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 11 Oct 2018 03:48:44 +0000 (20:48 -0700)
committerGitHub <noreply@github.com>
Thu, 11 Oct 2018 03:48:44 +0000 (20:48 -0700)
commit0da5ede58934b3a30944e32835698e84626f4c0a
treea0b5d8338dfb02aa9fd0e978daccc0dc5df8e04atree
parent960dfe7f894e57d3e8b7ca13867d212e982ff68dcommit | diff
cmake: Use gcovr instead lcov for coverage report generation. (#2617)
CMakeLists.txt diff | blob | history