diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-09-02 08:24:12 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-09-02 08:24:12 +0000 |
| commit | 81e6b35ed60ef25a4b8da6361f7156456459c37d (patch) | |
| tree | 416511267560eab40dee5d7ab8e16bd9a2a9606f /test | |
| parent | ab8e5a034964c45796168e4e140e31d33a51932b (diff) | |
recategorize eq_diamond14 as a regress2 test (instead of regress0)
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/uf/Makefile.am | 1 | ||||
| -rw-r--r-- | test/regress/regress2/Makefile.am | 3 | ||||
| -rw-r--r-- | test/regress/regress2/eq_diamond14.smt (renamed from test/regress/regress0/uf/eq_diamond14.smt) | 0 |
3 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/uf/Makefile.am b/test/regress/regress0/uf/Makefile.am index f5c97241e..a5ab380ce 100644 --- a/test/regress/regress0/uf/Makefile.am +++ b/test/regress/regress0/uf/Makefile.am @@ -17,7 +17,6 @@ TESTS = \ euf_simp12.smt \ euf_simp13.smt \ eq_diamond1.smt \ - eq_diamond14.smt \ eq_diamond14.reduced.smt \ eq_diamond14.reduced2.smt \ dead_dnd002.smt \ diff --git a/test/regress/regress2/Makefile.am b/test/regress/regress2/Makefile.am index 1651865fd..28a814274 100644 --- a/test/regress/regress2/Makefile.am +++ b/test/regress/regress2/Makefile.am @@ -21,7 +21,8 @@ TESTS = bmc-galileo-8.smt \ bmc-ibm-7.smt \ friedman_n6_i4.smt \ hole9.cvc \ - qwh.35.405.shuffled-as.sat03-1651.smt + qwh.35.405.shuffled-as.sat03-1651.smt \ + eq_diamond14.smt EXTRA_DIST = $(TESTS) diff --git a/test/regress/regress0/uf/eq_diamond14.smt b/test/regress/regress2/eq_diamond14.smt index f89d0e3b7..f89d0e3b7 100644 --- a/test/regress/regress0/uf/eq_diamond14.smt +++ b/test/regress/regress2/eq_diamond14.smt |