4 LOG_COMPILER = @srcdir@/../../run_regression
5 AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @top_builddir@/src/main/$(BINARY)$(EXEEXT)
8 # old-style (pre-automake 1.12) test harness
10 $(TESTS_ENVIRONMENT) $(LOG_COMPILER) \
11 $(AM_LOG_FLAGS) $(LOG_FLAGS)
16 # These are run for all build profiles.
17 # If a test shouldn't be run in e.g. competition mode,
18 # put it below in "TESTS +="
33 mutually-recursive.cvc \
35 typed_v1l50016-simp.cvc \
41 boolean-equality.cvc \
42 boolean-terms-datatype.cvc \
43 boolean-terms-parametric-datatype-1.cvc \
44 boolean-terms-parametric-datatype-2.cvc \
45 boolean-terms-tuple.cvc \
46 boolean-terms-record.cvc \
47 boolean-terms-rewrite.cvc \
48 some-boolean-tests.cvc \
64 if CVC4_BUILD_PROFILE_COMPETITION
70 # and make sure to distribute it
75 # synonyms for "check"
76 .PHONY: regress regress0 test
77 regress regress0 test: check
79 # do nothing in this subdir
80 .PHONY: regress1 regress2 regress3
81 regress1 regress2 regress3: