projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5552e43) | patch
Disabling a regression test that assumes CVC4 is configured with proofs on. Modifying...
authorTim King <taking@google.com>
Thu, 5 Jan 2017 23:07:33 +0000 (15:07 -0800)
committerTim King <taking@google.com>
Thu, 5 Jan 2017 23:07:33 +0000 (15:07 -0800)
commite05f7f5cea72649069fe2f6fd96d063dcad78da2
tree81d3a8e455f226cf008d2fc2bbd81bcf273030b4tree
parent5552e43454c3b45ae8c7b35a822ac4b39adca72fcommit | diff
Disabling a regression test that assumes CVC4 is configured with proofs on. Modifying the travis rules so there are instances with proofs disabled.
.travis.yml diff | blob | history
test/regress/regress0/bv/Makefile.am diff | blob | history