diff options
Diffstat (limited to 'test/regress/regress0/Makefile.am')
| -rw-r--r-- | test/regress/regress0/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index a8786b4ff..29141d633 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -2,7 +2,12 @@ SUBDIRS = precedence uf TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/../../bin/cvc4 TESTS = bug32.cvc \ + distinct.smt \ + flet.smt \ + flet2.smt \ hole6.cvc \ + let.smt \ + let2.smt \ logops.01.cvc \ logops.02.cvc \ logops.03.cvc \ |