test/regress/regress3/Makefile.am


1
2
3
4
5
6
7
8
9
10
11
12
13

TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/src/main/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: