diff options
Diffstat (limited to 'test/regress/Makefile.tests')
| -rw-r--r-- | test/regress/Makefile.tests | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index cf702ed7c..b86ee911d 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -1035,6 +1035,7 @@ REG1_TESTS = \ regress1/bv/divtest.smt2 \ regress1/bv/fuzz34.smt \ regress1/bv/fuzz38.smt \ + regress1/bv/test-bv-abstraction.smt2 \ regress1/bv/unsound1.smt2 \ regress1/bvdiv2.smt2 \ regress1/constarr3.cvc \ |