diff options
Diffstat (limited to 'test/regress/regress0/quantifiers/Makefile.am')
-rw-r--r-- | test/regress/regress0/quantifiers/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am index a2f5c18b5..4cfdec90e 100644 --- a/test/regress/regress0/quantifiers/Makefile.am +++ b/test/regress/regress0/quantifiers/Makefile.am @@ -92,14 +92,19 @@ TESTS = \ bug822.smt2 \ qbv-test-invert-mul.smt2 \ qbv-test-invert-bvand.smt2 \ + qbv-test-invert-bvcomp.smt2 \ qbv-test-invert-bvor.smt2 \ qbv-test-invert-bvlshr-0.smt2 \ + qbv-test-invert-bvashr-0.smt2 \ qbv-test-invert-bvurem-1.smt2 \ qbv-test-invert-concat-0.smt2 \ qbv-test-invert-concat-1.smt2 \ + qbv-test-invert-disequality.smt2 \ qbv-test-invert-shl.smt2 \ qbv-test-invert-udiv-0.smt2 \ qbv-test-invert-udiv-1.smt2 \ + qbv-test-invert-sign-extend.smt2 \ + qbv-test-invert-bvxor.smt2 \ qbv-simple-2vars-vo.smt2 \ qbv-test-urem-rewrite.smt2 \ qbv-inequality2.smt2 \ |