diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-10-21 14:01:17 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-10-21 14:01:17 -0500 |
| commit | 01d6e3933a3d733d3c1b5486ce1df8389cd6a176 (patch) | |
| tree | 3110c0a54c0466862da0c7537b90013dab6a6479 /test/regress/regress2/Makefile.am | |
| parent | 3e93fdba8102e4ad1399af78967fec3d0495722a (diff) | |
Move slow regress0 benchmarks to regress1, increment regress1 through regress3.
Diffstat (limited to 'test/regress/regress2/Makefile.am')
| -rw-r--r-- | test/regress/regress2/Makefile.am | 46 |
1 files changed, 30 insertions, 16 deletions
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: |