diff options
Diffstat (limited to 'test/regress/regress0/bv/Makefile.am')
| -rw-r--r-- | test/regress/regress0/bv/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/bv/Makefile.am b/test/regress/regress0/bv/Makefile.am index a21c772b1..937a886f6 100644 --- a/test/regress/regress0/bv/Makefile.am +++ b/test/regress/regress0/bv/Makefile.am @@ -81,7 +81,8 @@ SMT_TESTS = \ fuzz40.delta01.smt \ fuzz40.smt \ fuzz41.smt \ - calc2_sec2_shifter_mult_bmc15.atlas.delta01.smt + calc2_sec2_shifter_mult_bmc15.atlas.delta01.smt \ + smtcompbug.smt # Regression tests for SMT2 inputs SMT2_TESTS = |