diff options
Diffstat (limited to 'test/regress/Makefile.tests')
| -rw-r--r-- | test/regress/Makefile.tests | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/regress/Makefile.tests b/test/regress/Makefile.tests index a4d318067..ea3a70362 100644 --- a/test/regress/Makefile.tests +++ b/test/regress/Makefile.tests @@ -155,6 +155,8 @@ REG0_TESTS = \ regress0/bug605.cvc \ regress0/bug639.smt2 \ regress0/buggy-ite.smt2 \ + regress0/bv/ackermann1.smt2 \ + regress0/bv/ackermann2.smt2 \ regress0/bv/bool-to-bv.smt2 \ regress0/bv/bug260a.smt \ regress0/bv/bug260b.smt \ @@ -1280,6 +1282,7 @@ REG1_TESTS = \ regress1/quantifiers/constfunc.cvc \ regress1/quantifiers/dump-inst.smt2 \ regress1/quantifiers/dump-inst-i.smt2 \ + regress1/quantifiers/dump-inst-proof.smt2 \ regress1/quantifiers/ext-ex-deq-trigger.smt2 \ regress1/quantifiers/extract-nproc.smt2 \ regress1/quantifiers/florian-case-ax.smt2 \ @@ -1293,6 +1296,7 @@ REG1_TESTS = \ regress1/quantifiers/isaplanner-goal20.smt2 \ regress1/quantifiers/is-even.smt2 \ regress1/quantifiers/javafe.ast.StmtVec.009.smt2 \ + regress1/quantifiers/lra-vts-inf.smt2 \ regress1/quantifiers/mix-coeff.smt2 \ regress1/quantifiers/model_6_1_bv.smt2 \ regress1/quantifiers/mutualrec2.cvc \ @@ -1321,6 +1325,8 @@ REG1_TESTS = \ regress1/quantifiers/qbv-test-urem-rewrite.smt2 \ regress1/quantifiers/qcft-javafe.filespace.TreeWalker.006.smt2 \ regress1/quantifiers/qcft-smtlib3dbc51.smt2 \ + regress1/quantifiers/qe.smt2 \ + regress1/quantifiers/qe-partial.smt2 \ regress1/quantifiers/quant-wf-int-ind.smt2 \ regress1/quantifiers/quaternion_ds1_symm_0428.fof.smt2 \ regress1/quantifiers/repair-const-nterm.smt2 \ |