projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c7f0ca) | patch
Updating the travis file for coverity scan.
authorTim King <taking@google.com>
Wed, 21 Sep 2016 06:50:49 +0000 (23:50 -0700)
committerTim King <taking@google.com>
Wed, 21 Sep 2016 06:50:49 +0000 (23:50 -0700)
commit93fed148a4094c93e96aa489e2686ecfe3ae2172
tree27bbf28bbf35af01189c8d61b17c6093b2afff2btree
parent2c7f0cad036c8b53238e5f273df608bf57eb78a7commit | diff
Updating the travis file for coverity scan.
.travis.yml diff | blob | history