diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-02-15 15:31:48 -0600 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-15 13:31:48 -0800 |
| commit | 55037e0bcef45c795f28ff3fcf6c1055af465c70 (patch) | |
| tree | 397d89bd10e541e1206c5dafdb8cf731feb34730 /test/Makefile.am | |
| parent | 52a39aca19b7238d08c3cebcfa46436a73194008 (diff) | |
Refactor regressions (#1581)
Diffstat (limited to 'test/Makefile.am')
| -rw-r--r-- | test/Makefile.am | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/test/Makefile.am b/test/Makefile.am index f6cc1e2df..65dd601b1 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -48,7 +48,6 @@ subdirs_to_check = \ regress/regress0/precedence \ regress/regress0/preprocess \ regress/regress0/push-pop \ - regress/regress0/push-pop/arith \ regress/regress0/push-pop/boolean \ regress/regress0/quantifiers \ regress/regress0/rels \ @@ -69,15 +68,24 @@ subdirs_to_check = \ regress/regress1/datatypes \ regress/regress1/decision \ regress/regress1/fmf \ + regress/regress1/ho \ regress/regress1/lemmas \ + regress/regress1/nl \ + regress/regress1/push-pop \ + regress/regress1/rels \ regress/regress1/rewriterules \ regress/regress1/sep \ regress/regress1/sets \ regress/regress1/strings \ regress/regress1/sygus \ regress/regress1/quantifiers \ + regress/regress1/uflia \ regress/regress2 \ regress/regress2/arith \ + regress/regress2/nl \ + regress/regress2/quantifiers \ + regress/regress2/strings \ + regress/regress2/sygus \ regress/regress3 \ regress/regress4 \ system \ |