From 01d6e3933a3d733d3c1b5486ce1df8389cd6a176 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 21 Oct 2016 14:01:17 -0500
Subject: Move slow regress0 benchmarks to regress1, increment regress1 through
 regress3.

---
 test/regress/regress2/Makefile.am | 46 +++++++++++++++++++++++++--------------
 1 file changed, 30 insertions(+), 16 deletions(-)

(limited to 'test/regress/regress2/Makefile.am')

diff --git a/test/regress/regress2/Makefile.am b/test/regress/regress2/Makefile.am
index 9deb1f37b..c47d5840c 100644
--- a/test/regress/regress2/Makefile.am
+++ b/test/regress/regress2/Makefile.am
@@ -1,4 +1,4 @@
-SUBDIRS = .
+SUBDIRS = . arith
 
 # don't override a BINARY imported from a personal.mk
 @mk_if@eq ($(BINARY),)
@@ -20,21 +20,35 @@ MAKEFLAGS = -k
 # These are run for all build profiles.
 # If a test shouldn't be run in e.g. competition mode,
 # put it below in "TESTS +="
-TESTS =	bmc-ibm-1.smt \
-	bmc-ibm-2.smt \
-	bmc-ibm-5.smt \
-	bmc-ibm-7.smt \
-	friedman_n6_i4.smt \
-	hole9.cvc \
-	qwh.35.405.shuffled-as.sat03-1651.smt \
-	eq_diamond14.smt \
-	incorrect1.smt \
-	incorrect2.smt \
-	bug497.cvc \
-	pp-regfile.smt
+TESTS =	bug136.smt \
+	bug148.smt \
+	bug394.smt2 \
+	DTP_k2_n35_c175_s15.smt2 \
+	GEO123+1.minimized.smt2 \
+	error1.smt \
+	friedman_n4_i5.smt \
+	hole7.cvc \
+	hole8.cvc \
+	instance_1444.smt \
+	fuzz_2.smt \
+	hash_sat_10_09.smt2 \
+	hash_sat_07_17.smt2 \
+	ooo.tag10.smt2 \
+	hash_sat_06_19.smt2 \
+	hash_sat_09_09.smt2 \
+	ooo.rf6.smt2 \
+	auflia-fuzz06.smt \
+	piVC_5581bd.smt2 \
+	typed_v1l50016-simp.cvc \
+	FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2 \
+	xs-09-16-3-4-1-5.smt \
+	xs-09-16-3-4-1-5.decn.smt \
+	uflia-error0.smt2
 
 EXTRA_DIST = $(TESTS) \
-	pp-regfile.smt.expect
+	FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2.expect \
+	uflia-error0.smt2.expect \
+	xs-09-16-3-4-1-5.decn.smt.expect
 
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else
@@ -51,5 +65,5 @@ EXTRA_DIST = $(TESTS) \
 regress regress2 test: check
 
 # do nothing in this subdir
-.PHONY: regress0 regress1 regress3
-regress0 regress1 regress3:
+.PHONY: regress0 regress1 regress3 regress4
+regress0 regress1 regress3 regress4:
-- 
cgit v1.2.3