diff options
-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 |