diff options
Diffstat (limited to 'test/regress')
-rw-r--r-- | test/regress/.gitignore | 2 | ||||
-rw-r--r-- | test/regress/regress0/.gitignore | 2 | ||||
-rw-r--r-- | test/regress/regress0/Makefile.am | 13 | ||||
-rw-r--r-- | test/regress/regress0/precedence/.gitignore | 1 | ||||
-rw-r--r-- | test/regress/regress0/precedence/Makefile.am | 3 | ||||
-rw-r--r-- | test/regress/regress0/uf/.gitignore | 1 | ||||
-rw-r--r-- | test/regress/regress0/uf/Makefile.am | 11 | ||||
-rw-r--r-- | test/regress/regress1/.gitignore | 2 | ||||
-rw-r--r-- | test/regress/regress2/.gitignore | 2 | ||||
-rw-r--r-- | test/regress/regress3/.gitignore | 2 |
10 files changed, 27 insertions, 12 deletions
diff --git a/test/regress/.gitignore b/test/regress/.gitignore new file mode 100644 index 000000000..f39e98071 --- /dev/null +++ b/test/regress/.gitignore @@ -0,0 +1,2 @@ +/.deps +/Makefile.in diff --git a/test/regress/regress0/.gitignore b/test/regress/regress0/.gitignore new file mode 100644 index 000000000..f39e98071 --- /dev/null +++ b/test/regress/regress0/.gitignore @@ -0,0 +1,2 @@ +/.deps +/Makefile.in diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index 29141d633..eb07b22fb 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -1,22 +1,23 @@ SUBDIRS = precedence uf TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/../../bin/cvc4 -TESTS = bug32.cvc \ +TESTS = \ distinct.smt \ flet.smt \ flet2.smt \ - hole6.cvc \ let.smt \ let2.smt \ + simple2.smt \ + simple.smt \ + simple-uf.smt \ + bug32.cvc \ + 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 \ test9.cvc \ @@ -42,7 +43,7 @@ TESTS = bug32.cvc \ wiki.19.cvc \ wiki.20.cvc \ wiki.21.cvc - + # synonyms for "check" .PHONY: regress regress0 test regress regress0 test: check diff --git a/test/regress/regress0/precedence/.gitignore b/test/regress/regress0/precedence/.gitignore new file mode 100644 index 000000000..10a7e8d6c --- /dev/null +++ b/test/regress/regress0/precedence/.gitignore @@ -0,0 +1 @@ +/Makefile.in diff --git a/test/regress/regress0/precedence/Makefile.am b/test/regress/regress0/precedence/Makefile.am index 36722b81b..0b4fcd4a6 100644 --- a/test/regress/regress0/precedence/Makefile.am +++ b/test/regress/regress0/precedence/Makefile.am @@ -1,5 +1,6 @@ TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/../../bin/cvc4 -TESTS = iff-implies.cvc \ +TESTS = \ + iff-implies.cvc \ implies-iff.cvc \ implies-or.cvc \ or-implies.cvc \ diff --git a/test/regress/regress0/uf/.gitignore b/test/regress/regress0/uf/.gitignore new file mode 100644 index 000000000..10a7e8d6c --- /dev/null +++ b/test/regress/regress0/uf/.gitignore @@ -0,0 +1 @@ +/Makefile.in diff --git a/test/regress/regress0/uf/Makefile.am b/test/regress/regress0/uf/Makefile.am index b456f2809..ec99fd45c 100644 --- a/test/regress/regress0/uf/Makefile.am +++ b/test/regress/regress0/uf/Makefile.am @@ -1,8 +1,5 @@ TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/../../bin/cvc4 -TESTS = simple.01.cvc \ - simple.02.cvc \ - simple.03.cvc \ - simple.04.cvc \ +TESTS = \ euf_simp01.smt \ euf_simp02.smt \ euf_simp03.smt \ @@ -17,7 +14,11 @@ TESTS = simple.01.cvc \ euf_simp13.smt \ dead_dnd002.smt \ iso_brn001.smt \ - SEQ032_size2.smt + SEQ032_size2.smt \ + simple.01.cvc \ + simple.02.cvc \ + simple.03.cvc \ + simple.04.cvc # synonyms for "check" .PHONY: regress regress0 test diff --git a/test/regress/regress1/.gitignore b/test/regress/regress1/.gitignore new file mode 100644 index 000000000..f39e98071 --- /dev/null +++ b/test/regress/regress1/.gitignore @@ -0,0 +1,2 @@ +/.deps +/Makefile.in diff --git a/test/regress/regress2/.gitignore b/test/regress/regress2/.gitignore new file mode 100644 index 000000000..f39e98071 --- /dev/null +++ b/test/regress/regress2/.gitignore @@ -0,0 +1,2 @@ +/.deps +/Makefile.in diff --git a/test/regress/regress3/.gitignore b/test/regress/regress3/.gitignore new file mode 100644 index 000000000..f39e98071 --- /dev/null +++ b/test/regress/regress3/.gitignore @@ -0,0 +1,2 @@ +/.deps +/Makefile.in |