projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3378e25) | patch
distribute an .expect file. fixes a "make check" failure not for svn working dirs...
authorMorgan Deters <mdeters@gmail.com>
Mon, 11 Jun 2012 17:13:03 +0000 (17:13 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 11 Jun 2012 17:13:03 +0000 (17:13 +0000)
commit74a3cbc108cda7f33c6d4db03fcec8a6a84fc6f5
treec11356b6a0e7b1558bc5f628a64b86f4bc0c17e8tree
parent3378e253fcdb34c753407bb16d08929da06b3aaacommit | diff
distribute an .expect file.  fixes a "make check" failure not for svn working dirs but for distributed tarballs.
test/regress/regress0/quantifiers/Makefile.am diff | blob | history