projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1467abb) | patch
Disable failing datatypes regression, pending solution to bug #370.
authorMorgan Deters <mdeters@gmail.com>
Sun, 5 Aug 2012 04:41:04 +0000 (04:41 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 5 Aug 2012 04:41:04 +0000 (04:41 +0000)
commit92a39d3b7bbf3f1617ad7e1ec87f4a36070c1968
tree1a905c53a51f2775947c5560d487549036e993b9tree
parent1467abb8bd69050c2518f87a1775590cd5a9882ecommit | diff
Disable failing datatypes regression, pending solution to bug #370.
test/regress/regress0/datatypes/Makefile.am diff | blob | history