diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-09 05:19:22 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-09 05:19:22 +0000 |
commit | 04fd25e4201130776015fd3179631a97f27da12a (patch) | |
tree | d3559b078c2a1c0e95a1bf49142a81c80cf69814 /test/regress/regress0/uf/Makefile.am | |
parent | cf4d347cbbbb4c1a1e1db99337cfd2b22b84b756 (diff) |
Diffstat (limited to 'test/regress/regress0/uf/Makefile.am')
-rw-r--r-- | test/regress/regress0/uf/Makefile.am | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/regress/regress0/uf/Makefile.am b/test/regress/regress0/uf/Makefile.am new file mode 100644 index 000000000..3fcf179e9 --- /dev/null +++ b/test/regress/regress0/uf/Makefile.am @@ -0,0 +1,12 @@ +TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/../../bin/cvc4 +TESTS = simple.01.cvc \ + simple.02.cvc \ + simple.03.cvc + +# synonyms for "check" +.PHONY: regress regress0 test +regress regress0 test: check + +# do nothing in this subdir +.PHONY: regress1 regress2 regress3 +regress1 regress2 regress3: |