projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c38e9c2) | patch
removing v1l20009.cvc, a datatypes benchmark where the TCC fails (CVC3 and CVC4 diffe...
authorMorgan Deters <mdeters@gmail.com>
Mon, 20 Aug 2012 21:12:00 +0000 (21:12 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 20 Aug 2012 21:12:00 +0000 (21:12 +0000)
commitbd45444319c0baa11b530184e3065df3a2d926a2
tree70d5d0fa224167d9bee1b000eeb27cc43aa56962tree
parentc38e9c2acd9ba85db68f6b52697cac6ddc0595b5commit | diff
removing v1l20009.cvc, a datatypes benchmark where the TCC fails (CVC3 and CVC4 differ in the answer), so it doesn't really test anything
test/regress/regress0/datatypes/Makefile.am diff | blob | history
test/regress/regress0/datatypes/v1l20009.cvc [deleted file] blob | history