projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab8e5a0) | patch
recategorize eq_diamond14 as a regress2 test (instead of regress0)
authorMorgan Deters <mdeters@gmail.com>
Thu, 2 Sep 2010 08:24:12 +0000 (08:24 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 2 Sep 2010 08:24:12 +0000 (08:24 +0000)
commit81e6b35ed60ef25a4b8da6361f7156456459c37d
tree416511267560eab40dee5d7ab8e16bd9a2a9606ftree
parentab8e5a034964c45796168e4e140e31d33a51932bcommit | diff
recategorize eq_diamond14 as a regress2 test (instead of regress0)
test/regress/regress0/uf/Makefile.am diff | blob | history
test/regress/regress0/uf/eq_diamond14.smt [deleted file] blob | history
test/regress/regress2/Makefile.am diff | blob | history
test/regress/regress2/eq_diamond14.smt [new file with mode: 0644] blob