projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 828df15) | patch
disable bug288.smt so that "make check" goes through---pending integers merge, see...
authorMorgan Deters <mdeters@gmail.com>
Wed, 30 Nov 2011 22:43:12 +0000 (22:43 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 30 Nov 2011 22:43:12 +0000 (22:43 +0000)
commit221b4d34bac36eb6427c2f3de2fa908f6af110b2
tree6aad7fe8a30253b4160354a1b7a81827685ff881tree
parent828df15711d55acbe55a0b681e30054ce269d4b1commit | diff
disable bug288.smt so that "make check" goes through---pending integers merge, see bug #288
test/regress/regress0/Makefile.am diff | blob | history