diff options
author | Tim King <taking@cs.nyu.edu> | 2012-04-02 18:56:00 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-04-02 18:56:00 +0000 |
commit | ae1dfdcd7c79f7fd253bf91f39a09e4a97be4e86 (patch) | |
tree | d793642717950faa576d4630e94350afe292c74f /test/regress/regress2/Makefile.am | |
parent | 12d55a1f6f0e8b068c1272a79a393444418a3cc2 (diff) |
Removing large and unused regress2 benchmarks to decrease the size of checkouts.
Diffstat (limited to 'test/regress/regress2/Makefile.am')
-rw-r--r-- | test/regress/regress2/Makefile.am | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/test/regress/regress2/Makefile.am b/test/regress/regress2/Makefile.am index d084ad47a..53866b5b7 100644 --- a/test/regress/regress2/Makefile.am +++ b/test/regress/regress2/Makefile.am @@ -12,18 +12,9 @@ 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-galileo-8.smt \ - bmc-galileo-9.smt \ - bmc-ibm-10.smt \ - bmc-ibm-11.smt \ - bmc-ibm-12.smt \ - bmc-ibm-13.smt \ - bmc-ibm-1.smt \ +TESTS = bmc-ibm-1.smt \ bmc-ibm-2.smt \ - bmc-ibm-3.smt \ - bmc-ibm-4.smt \ bmc-ibm-5.smt \ - bmc-ibm-6.smt \ bmc-ibm-7.smt \ friedman_n6_i4.smt \ hole9.cvc \ |