projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80c89d9) | patch
cmake: Ignore ctest exit code for coverage reports.
authorMathias Preiner <mathias.preiner@gmail.com>
Sun, 30 Sep 2018 05:55:33 +0000 (22:55 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sun, 30 Sep 2018 05:58:53 +0000 (22:58 -0700)
commit464470c311de4d26b59a2f4ddca6960c3161997a
tree0836f1e4dca99d3715e6f88ef16fc070588bd8a2tree
parent80c89d9d221218b35d2eaf7ba69144ecfe9e8abdcommit | diff
cmake: Ignore ctest exit code for coverage reports.
CMakeLists.txt diff | blob | history