diff options
Diffstat (limited to 'test/regress/regress0/quantifiers/Makefile.am')
| -rw-r--r-- | test/regress/regress0/quantifiers/Makefile.am | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am index 9f4998fd8..b21311da1 100644 --- a/test/regress/regress0/quantifiers/Makefile.am +++ b/test/regress/regress0/quantifiers/Makefile.am @@ -36,15 +36,15 @@ TESTS = \ smtlib384a03.smt2 \ smtlib46f14a.smt2 \ smtlibf957ea.smt2 \ - gauss_init_0030.fof.smt2 + gauss_init_0030.fof.smt2 \ + qcft-javafe.filespace.TreeWalker.006.smt2 \ + qcft-smtlib3dbc51.smt2 \ + symmetric_unsat_7.smt2 \ + javafe.ast.StmtVec.009.smt2 # regression can be solved with --finite-model-find --fmf-inst-engine # set3.smt2 -# removed because it now reports unknown -# symmetric_unsat_7.smt2 \ -# - # removed because they take more than 20s # ex1.smt2 \ @@ -57,12 +57,11 @@ TESTS = \ # javafe.ast.WhileStmt.447.smt2 \ # javafe.tc.CheckCompilationUnit.001.smt2 \ # javafe.tc.FlowInsensitiveChecks.682.smt2 \ -# array-unsat-simp3.smt2 \ +# array-unsat-simp3.smt2 # EXTRA_DIST = $(TESTS) \ - bug291.smt2.expect \ - array-unsat-simp3.smt2.expect + bug291.smt2.expect #if CVC4_BUILD_PROFILE_COMPETITION #else |