diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-09-11 11:23:19 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-11 18:15:18 -0400 |
commit | c3a959b3112af83492694b8f0919381b1c467fb8 (patch) | |
tree | 62ae7f49087bfb61a439161b5bc1cb5c8c691f21 /test/regress/regress0/strings/Makefile.am | |
parent | f49c16dd1169d3de4bbfcdca22af1269bbd0a005 (diff) |
Theory of strings.
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
Diffstat (limited to 'test/regress/regress0/strings/Makefile.am')
-rw-r--r-- | test/regress/regress0/strings/Makefile.am | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am new file mode 100644 index 000000000..37da1091e --- /dev/null +++ b/test/regress/regress0/strings/Makefile.am @@ -0,0 +1,47 @@ +SUBDIRS = . + +BINARY = cvc4 +LOG_COMPILER = @srcdir@/../../run_regression +AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @top_builddir@/src/main/$(BINARY)$(EXEEXT) + +if AUTOMAKE_1_11 +# old-style (pre-automake 1.12) test harness +TESTS_ENVIRONMENT = \ + $(TESTS_ENVIRONMENT) $(LOG_COMPILER) \ + $(AM_LOG_FLAGS) $(LOG_FLAGS) +endif + +MAKEFLAGS = -k + +# These are run for all build profiles. +# If a test shouldn't be run in e.g. competition mode, +# put it below in "TESTS +=" +TESTS = \ + cardinality.smt2 \ + str001.smt2 \ + str002.smt2 \ + str003.smt2 \ + str004.smt2 \ + str005.smt2 \ + loop001.smt2 +# loop002.smt2 \ +# loop003.smt2 \ +# loop004.smt2 \ +# loop005.smt2 \ +# loop006.smt2 + +FAILING_TESTS = + +EXTRA_DIST = $(TESTS) + + +# and make sure to distribute it +EXTRA_DIST += + +# synonyms for "check" +.PHONY: regress regress0 test +regress regress0 test: check + +# do nothing in this subdir +.PHONY: regress1 regress2 regress3 +regress1 regress2 regress3: |