diff options
Diffstat (limited to 'test/regress/regress1/bv/Makefile.am')
| -rw-r--r-- | test/regress/regress1/bv/Makefile.am | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/test/regress/regress1/bv/Makefile.am b/test/regress/regress1/bv/Makefile.am index fa58e0dee..b144a0507 100644 --- a/test/regress/regress1/bv/Makefile.am +++ b/test/regress/regress1/bv/Makefile.am @@ -19,10 +19,22 @@ endif TESTS = \ bv-proof00.smt \ fuzz34.smt \ - fuzz38.smt + fuzz38.smt \ + bug_extract_mult_leading_bit.smt2 \ + bug787.smt2 \ + bv-int-collapse2-sat.smt2 \ + cmu-rdk-3.smt2 \ + decision-weight00.smt2 \ + divtest.smt2 \ + bv2nat-ground.smt2 \ + bv2nat-simp-range-sat.smt2 \ + unsound1.smt2 EXTRA_DIST = $(TESTS) +# This benchmark is currently disabled as it uses --check-proof +# bench_38.delta.smt2 + # synonyms for "check" in this directory .PHONY: regress regress1 test regress regress1 test: check |