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/regress3/Makefile.am | |
| parent | 3e93fdba8102e4ad1399af78967fec3d0495722a (diff) | |
Move slow regress0 benchmarks to regress1, increment regress1 through regress3.
Diffstat (limited to 'test/regress/regress3/Makefile.am')
| -rw-r--r-- | test/regress/regress3/Makefile.am | 27 |
1 files changed, 17 insertions, 10 deletions
diff --git a/test/regress/regress3/Makefile.am b/test/regress/regress3/Makefile.am index 3fb798bcc..f45c5bd64 100644 --- a/test/regress/regress3/Makefile.am +++ b/test/regress/regress3/Makefile.am @@ -20,14 +20,21 @@ 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 = bug143.smt \ - C880mul.miter.shuffled-as.sat03-348.smt \ - comb2.shuffled-as.sat03-420.smt \ - hole10.cvc \ - instance_1151.smt \ - NEQ016_size5.smt - -EXTRA_DIST = $(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 + +EXTRA_DIST = $(TESTS) \ + pp-regfile.smt.expect #if CVC4_BUILD_PROFILE_COMPETITION #else @@ -44,5 +51,5 @@ EXTRA_DIST = $(TESTS) regress regress3 test: check # do nothing in this subdir -.PHONY: regress0 regress1 regress2 -regress0 regress1 regress2: +.PHONY: regress0 regress1 regress2 regress4 +regress0 regress1 regress2 regress4: |