blob: 953db9bfd09ea9420664c2b82f32c26048f072a5 (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
TESTS_ENVIRONMENT = @top_builddir@/../../bin/cvc4
TESTS = \
simple.cvc \
simple.smt \
bug1.cvc \
boolean.cvc \
hole10.cvc \
hole6.cvc \
hole7.cvc \
hole8.cvc \
hole9.cvc \
test9.cvc \
test12.cvc \
test11.cvc \
uf20-03.cvc \
qwh.35.405.shuffled-as.sat03-1651.smt \
C880mul.miter.shuffled-as.sat03-348.smt \
instance_1151.smt \
instance_1444.smt \
friedman_n4_i5.smt \
friedman_n6_i4.smt \
bmc-galileo-8.smt \
bmc-galileo-9.smt \
bmc-ibm-1.smt \
bmc-ibm-2.smt \
bmc-ibm-3.smt \
bmc-ibm-4.smt \
bmc-ibm-5.smt \
bmc-ibm-6.smt \
bmc-ibm-7.smt \
bmc-ibm-10.smt \
bmc-ibm-11.smt \
bmc-ibm-12.smt \
bmc-ibm-13.smt \
wiki.cvc \
logops.cvc \
comb2.shuffled-as.sat03-420.smt
# synonyms for "check"
.PHONY: regress regress0 regress1 regress2 regress3 test
regress regress0 regress1 regress2 regress3 test: check
|