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/regress0/bv/Makefile.am | |
| parent | 3e93fdba8102e4ad1399af78967fec3d0495722a (diff) | |
Move slow regress0 benchmarks to regress1, increment regress1 through regress3.
Diffstat (limited to 'test/regress/regress0/bv/Makefile.am')
| -rw-r--r-- | test/regress/regress0/bv/Makefile.am | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/test/regress/regress0/bv/Makefile.am b/test/regress/regress0/bv/Makefile.am index d85b3d109..0b99024eb 100644 --- a/test/regress/regress0/bv/Makefile.am +++ b/test/regress/regress0/bv/Makefile.am @@ -78,7 +78,6 @@ SMT_TESTS = \ fuzz33.delta01.smt \ fuzz33.smt \ fuzz34.delta01.smt \ - fuzz34.smt \ fuzz35.delta01.smt \ fuzz35.smt \ fuzz36.delta01.smt \ @@ -86,7 +85,6 @@ SMT_TESTS = \ fuzz37.delta01.smt \ fuzz37.smt \ fuzz38.delta01.smt \ - fuzz38.smt \ fuzz39.delta01.smt \ fuzz39.smt \ fuzz40.delta01.smt \ @@ -95,8 +93,7 @@ SMT_TESTS = \ calc2_sec2_shifter_mult_bmc15.atlas.delta01.smt \ smtcompbug.smt \ unsound1.smt2 \ - unsound1-reduced.smt2 \ - bv-proof00.smt + unsound1-reduced.smt2 # Regression tests for SMT2 inputs SMT2_TESTS = divtest.smt2 |