projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 972666e) | patch
remove some array regressions from "make check" so nightly regressions run
authorMorgan Deters <mdeters@gmail.com>
Mon, 11 Jul 2011 23:14:25 +0000 (23:14 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 11 Jul 2011 23:14:25 +0000 (23:14 +0000)
commit3a58c99a2527f2adc83a17292c869322cee8da9f
tree59b46e88c4c16b7ffc4f70c8d1fa35871a78b6a8tree
parent972666e1ef81277b7a9c5c629524d1824f646c20commit | diff
remove some array regressions from "make check" so nightly regressions run
test/regress/regress0/arrays/Makefile.am diff | blob | history