diff options
Diffstat (limited to 'test/regress/regress0/uf')
| -rw-r--r-- | test/regress/regress0/uf/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/regress/regress0/uf/Makefile.am b/test/regress/regress0/uf/Makefile.am index fa298f1a5..a4e08ff99 100644 --- a/test/regress/regress0/uf/Makefile.am +++ b/test/regress/regress0/uf/Makefile.am @@ -2,7 +2,10 @@ TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/../../bin/cvc4 TESTS = simple.01.cvc \ simple.02.cvc \ simple.03.cvc \ - simple.04.cvc + simple.04.cvc \ + dead_dnd002.smt \ + iso_brn001.smt \ + SEQ032_size2.smt # synonyms for "check" .PHONY: regress regress0 test |