projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfb9870) | patch
Enable some old bug testcases that (maybe?) never got added.
authorMorgan Deters <mdeters@cs.nyu.edu>
Sat, 4 Oct 2014 18:23:06 +0000 (14:23 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sat, 4 Oct 2014 18:23:17 +0000 (14:23 -0400)
commit54b2aac34e418108265dd43a956a7865c50b9cf4
tree32ef845fb3c6e91e0b7fd189a110acac7b66216etree
parentdfb987019f6a3b90447243c172f97dbc084fe2e3commit | diff
Enable some old bug testcases that (maybe?) never got added.
test/regress/regress0/arrays/Makefile.am diff | blob | history