blob: 9182bfbc646a67e3cd9678a666a985baf6f3a826 (
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
TESTS_ENVIRONMENT = @srcdir@/../../../run_regression @top_builddir@/src/main/cvc4
# These are run for all build profiles.
# If a test shouldn't be run in e.g. competition mode,
# put it below in "TESTS +="
TESTS = \
concat-merge-0.smt \
concat-merge-1.smt \
concat-merge-2.smt \
concat-merge-3.smt \
extract-concat-0.smt \
extract-concat-1.smt \
extract-concat-2.smt \
extract-concat-3.smt \
extract-concat-4.smt \
extract-concat-5.smt \
extract-concat-6.smt \
extract-concat-7.smt \
extract-concat-8.smt \
extract-concat-9.smt \
extract-concat-10.smt \
extract-concat-11.smt \
extract-constant.smt \
extract-extract-0.smt \
extract-extract-1.smt \
extract-extract-2.smt \
extract-extract-3.smt \
extract-extract-4.smt \
extract-extract-5.smt \
extract-extract-6.smt \
extract-extract-7.smt \
extract-extract-8.smt \
extract-extract-9.smt \
extract-extract-10.smt \
extract-extract-11.smt \
extract-whole-0.smt \
extract-whole-1.smt \
extract-whole-2.smt \
extract-whole-3.smt \
extract-whole-4.smt \
equality-00.smt \
equality-01.smt \
equality-02.smt \
equality-05.smt \
bv_eq_diamond10.smt \
slice-01.smt \
slice-02.smt \
slice-03.smt \
slice-04.smt \
slice-05.smt \
slice-06.smt \
slice-07.smt \
slice-08.smt \
slice-09.smt \
slice-10.smt \
slice-11.smt \
slice-12.smt \
slice-13.smt \
slice-14.smt \
slice-15.smt \
slice-16.smt \
slice-17.smt \
slice-18.smt \
slice-19.smt \
slice-20.smt \
ext_con_004_001_1024.smt \
a78test0002.smt
EXTRA_DIST = $(TESTS)
# synonyms for "check"
.PHONY: regress regress0 test
regress regress0 test: check
# do nothing in this subdir
.PHONY: regress1 regress2 regress3
regress1 regress2 regress3:
|