diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-11 15:07:37 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-02-11 15:07:37 -0600 |
| commit | 7acc2844df65ab6fdbf8166653c71eaa26d4d151 (patch) | |
| tree | e289c79b5cf0bde3f7e261f81fc5c54c58b0ae01 /test/regress/regress0/quantifiers/Makefile.am | |
| parent | 78608a5925938d7ae78b5ac08d2f003d7332810a (diff) | |
More aggressive conditional rewriting for quantified formulas. Bug fix set incomplete for fmc.
Diffstat (limited to 'test/regress/regress0/quantifiers/Makefile.am')
| -rw-r--r-- | test/regress/regress0/quantifiers/Makefile.am | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am index 3fff9b0de..df146752e 100644 --- a/test/regress/regress0/quantifiers/Makefile.am +++ b/test/regress/regress0/quantifiers/Makefile.am @@ -65,7 +65,12 @@ TESTS = \ ext-ex-deq-trigger.smt2 \ matching-lia-1arg.smt2 \ RND_4_16.smt2 \ - cdt-0208-to.smt2 + cdt-0208-to.smt2 \ + psyco-196.smt2 \ + agg-rew-test.smt2 \ + agg-rew-test-cf.smt2 \ + rew-to-0211-dd.smt2 \ + rew-to-scala.smt2 # regression can be solved with --finite-model-find --fmf-inst-engine |