projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6fa6bb) | patch
cmake: Exclude examples for coverage target. (#2535)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 26 Sep 2018 04:26:06 +0000 (21:26 -0700)
committerGitHub <noreply@github.com>
Wed, 26 Sep 2018 04:26:06 +0000 (21:26 -0700)
commit2069d956851667718c45353f41a3d4aa2b8e7c73
tree425cae63fbd63a0080b133619dcefb605b2a0143tree
parentd6fa6bb3fbe4d81d90d76140b6a4b210b36e91d7commit | diff
cmake: Exclude examples for coverage target. (#2535)
CMakeLists.txt diff | blob | history