blob: df0268f8033d81c9e7c5b045f3408bf8fd0f60d2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/../../bin/cvc4
TESTS = boolean.cvc \
bug1.cvc \
hole6.cvc \
logops.cvc \
queries0.cvc \
simple2.smt \
simple.cvc \
simple.smt \
simple-uf.smt \
smallcnf.cvc \
test11.cvc \
test12.cvc \
test9.cvc \
uf20-03.cvc \
wiki.cvc
# synonyms for "check"
.PHONY: regress regress0 test
regress regress0 test: check
# do nothing in this subdir
.PHONY: regress1 regress2 regress3
regress1 regress2 regress3:
|