summaryrefslogtreecommitdiff
path: root/test/regress/regress0/bv/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'test/regress/regress0/bv/Makefile.am')
-rw-r--r--test/regress/regress0/bv/Makefile.am7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/regress/regress0/bv/Makefile.am b/test/regress/regress0/bv/Makefile.am
index 954050a97..481a19ef3 100644
--- a/test/regress/regress0/bv/Makefile.am
+++ b/test/regress/regress0/bv/Makefile.am
@@ -73,6 +73,13 @@ SMT_TESTS = \
fuzz36.smt \
fuzz37.delta01.smt \
fuzz37.smt \
+ fuzz38.delta01.smt \
+ fuzz38.smt \
+ fuzz39.delta01.smt \
+ fuzz39.smt \
+ fuzz40.delta01.smt \
+ fuzz40.smt \
+ fuzz41.smt \
calc2_sec2_shifter_mult_bmc15.atlas.delta01.smt
# Regression tests for SMT2 inputs
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback