diff options
Diffstat (limited to 'test/regress/regress0/bv/Makefile.am')
-rw-r--r-- | test/regress/regress0/bv/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/regress/regress0/bv/Makefile.am b/test/regress/regress0/bv/Makefile.am index 4c2b1c773..fa9ee41a1 100644 --- a/test/regress/regress0/bv/Makefile.am +++ b/test/regress/regress0/bv/Makefile.am @@ -91,7 +91,9 @@ SMT_TESTS = \ fuzz40.smt \ fuzz41.smt \ calc2_sec2_shifter_mult_bmc15.atlas.delta01.smt \ - smtcompbug.smt + smtcompbug.smt \ + unsound1.smt2 \ + unsound1-reduced.smt2 # Regression tests for SMT2 inputs SMT2_TESTS = divtest.smt2 |