projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7785045) | patch
Disabling compiling unit tests with coverity scan for now.
authorTim King <taking@google.com>
Sun, 23 Jul 2017 08:01:25 +0000 (01:01 -0700)
committerTim King <taking@google.com>
Sun, 23 Jul 2017 08:01:25 +0000 (01:01 -0700)
commitfe9f28c7899da2782c2c779f959a48ae3b2c1544
tree047b5179afee3236573403680021bb6be1050a70tree
parent7785045ede376f7ee5a540ded9afdd7d3f57c47dcommit | diff
Disabling compiling unit tests with coverity scan for now.
.travis.yml diff | blob | history