diff options
Diffstat (limited to 'test/regress/regress0/Makefile.am')
| -rw-r--r-- | test/regress/regress0/Makefile.am | 35 |
1 files changed, 27 insertions, 8 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index df0268f80..09be302af 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -1,19 +1,38 @@ TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/../../bin/cvc4 -TESTS = boolean.cvc \ - bug1.cvc \ - hole6.cvc \ - logops.cvc \ - queries0.cvc \ +TESTS = hole6.cvc \ + logops.01.cvc \ + logops.02.cvc \ + logops.03.cvc \ + logops.04.cvc \ + logops.05.cvc \ simple2.smt \ simple.cvc \ simple.smt \ - simple-uf.smt \ smallcnf.cvc \ test11.cvc \ - test12.cvc \ test9.cvc \ uf20-03.cvc \ - wiki.cvc + wiki.01.cvc \ + wiki.02.cvc \ + wiki.03.cvc \ + wiki.04.cvc \ + wiki.05.cvc \ + wiki.06.cvc \ + wiki.07.cvc \ + wiki.08.cvc \ + wiki.09.cvc \ + wiki.10.cvc \ + wiki.11.cvc \ + wiki.12.cvc \ + wiki.13.cvc \ + wiki.14.cvc \ + wiki.15.cvc \ + wiki.16.cvc \ + wiki.17.cvc \ + wiki.18.cvc \ + wiki.19.cvc \ + wiki.20.cvc \ + wiki.21.cvc # synonyms for "check" .PHONY: regress regress0 test |