From 81e6b35ed60ef25a4b8da6361f7156456459c37d Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 2 Sep 2010 08:24:12 +0000 Subject: [PATCH] recategorize eq_diamond14 as a regress2 test (instead of regress0) --- test/regress/regress0/uf/Makefile.am | 1 - test/regress/regress2/Makefile.am | 3 ++- test/regress/{regress0/uf => regress2}/eq_diamond14.smt | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename test/regress/{regress0/uf => regress2}/eq_diamond14.smt (100%) 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 similarity index 100% rename from test/regress/regress0/uf/eq_diamond14.smt rename to test/regress/regress2/eq_diamond14.smt -- 2.30.2