3 # don't override a BINARY imported from a personal.mk
5 @mk_empty@BINARY = cvc4
8 LOG_COMPILER = @srcdir@/../../run_regression
9 AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
12 # old-style (pre-automake 1.12) test harness
15 $(AM_LOG_FLAGS) $(LOG_FLAGS)
20 # These are run for all build profiles.
21 # If a test shouldn't be run in e.g. competition mode,
22 # put it below in "TESTS +="
29 magnitude-wrong-1020-m.smt2 \
32 very-simple-unsat.smt2 \
33 subs0-unsat-confirm.smt2 \
34 simple-mono-unsat.smt2 \
36 metitarski_3_4_2e.smt2 \
37 metitarski-1025.smt2 \
41 coeff-unsat-base.smt2 \
45 nl-help-unsat-quant.smt2 \
50 # unsolved : garbage_collect.cvc
54 # synonyms for "check"
55 .PHONY: regress regress0 test
56 regress regress0 test: check
58 # do nothing in this subdir
59 .PHONY: regress1 regress2 regress3 regress4
60 regress1 regress2 regress3 regress4: