summaryrefslogtreecommitdiff
path: root/test/regress/regress3/Makefile.am
blob: 202bc553f49d8eb3935daed06fc7b2f9ae3cd08f (plain) 
1
2
3
4
5
6
7
8
9
10

TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/../../bin/cvc4
TESTS =

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

# do nothing in this subdir
.PHONY: regress0 regress1 regress2
regress0 regress1 regress2:
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback