1 # don't override a BINARY imported from a personal.mk
3 @mk_empty@BINARY = cvc4
6 LOG_COMPILER = @srcdir@/../../run_regression
7 AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
10 # old-style (pre-automake 1.12) test harness
13 $(AM_LOG_FLAGS) $(LOG_FLAGS)
18 # These are run for all build profiles.
19 # If a test shouldn't be run in e.g. competition mode,
20 # put it below in "TESTS +="
56 artemis-0512-nonterm.smt2 \
57 indexof-sym-simp.smt2 \
64 norn-simp-rew-sat.smt2 \
65 idof-nconst-index.smt2 \
78 strings-native-simple.cvc \
79 cmu-2db2-extf-reg.smt2 \
80 norn-nel-bug-052116.smt2 \
81 cmu-disagree-0707-dd.smt2 \
82 cmu-5042-0707-2.smt2 \
84 nf-ff-contains-abs.smt2 \
85 csp-prefix-exp-bug.smt2 \
92 # and make sure to distribute it
98 # synonyms for "check"
99 .PHONY: regress regress0 test
100 regress regress0 test: check
102 # do nothing in this subdir
103 .PHONY: regress1 regress2 regress3
104 regress1 regress2 regress3: