1 TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/src/main/cvc4
3 # These are run for all build profiles.
4 # If a test shouldn't be run in e.g. competition mode,
5 # put it below in "TESTS +="
20 eq_diamond14.reduced.smt \
21 eq_diamond14.reduced2.smt \
23 NEQ016_size5_reduced2a.smt \
24 NEQ016_size5_reduced2b.smt \
32 EXTRA_DIST = $(TESTS) \
35 #if CVC4_BUILD_PROFILE_COMPETITION
41 # and make sure to distribute it
45 # synonyms for "check" in this directory
46 .PHONY: regress regress0 test
47 regress regress0 test: check
49 # do nothing in this subdir
50 .PHONY: regress1 regress2 regress3
51 regress1 regress2 regress3: