TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/../../bin/cvc4
TESTS =	C880mul.miter.shuffled-as.sat03-348.smt \
	comb2.shuffled-as.sat03-420.smt \
	hole10.cvc \
	instance_1151.smt

# synonyms for "check"
.PHONY: regress regress3 test
regress regress3 test: check

# do nothing in this subdir
.PHONY: regress0 regress1 regress2
regress0 regress1 regress2: