forked from OCamlPro/socaml-analyzer
/
tests.ocp
109 lines (97 loc) · 3.62 KB
/
tests.ocp
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
begin test "tgraph"
test_byte = false
files = [ "test_graph.ml" ]
requires = [ "hgraph" ]
end
begin test "tint"
test_byte = false
files = [ "test_int.ml" ]
requires = [ "hgraph" ]
end
begin test "tdata"
test_byte = false
files = [ "test_data.ml" ]
requires = [ "common" "hgraph" "data" ]
end
begin test "thgraph"
test_byte = false
files = [ "test_hgraph.ml" ]
requires = [ "common" "hgraph" "data" ]
end
begin test "ttlambda"
test_byte = false
files = [ "test_tlambda.ml" ]
requires = [ "common" "tlambda" ]
end
begin test "ttoolchain"
files = [ "test_toolchain.ml" ]
requires = [ "common" "lambda" "tlambda" "compiler-libs" "compiler-libs.common" ]
test_dir = "test/samples"
test_byte = false
test_serialized = true
tests =
[
"simple" ( test_args = [ "myper.ml" ] )
"chain" ( test_args = [ "myper.ml" "-open" "Myper" "a.ml" ] )
"pervasives" ( test_args = [ "pervasives.ml" ] )
]
end
begin test "tbg"
files = [ ]
requires = [ "bigraphc" ]
test_dir = "test/samples"
test_byte = false
test_serialized = true
tests =
[
"simple" ( test_args = [ "myper.ml" ] )
"chain" ( test_args = [ "myper.ml" "-open" "Myper" "a.ml" ] )
"pervasives" ( test_args = [ "pervasives.ml" ] )
"simplest" ( test_args = [ "simpler.ml" ] )
"pervasives2" ( test_args = [ "pervasives2.ml" ] )
"good" ( test_args = [ "pervasives.ml" "-open" "Pervasives" "good.ml" ] )
"bad" ( test_args = [ "pervasives.ml" "-open" "Pervasives" "bad.ml" ] )
"conditionnal" ( test_args = [ "pervasives.ml" "-open" "Pervasives" "conditionnal.ml" ] )
]
end
begin test "tba"
files = [ ]
requires = [ "analyzer" ]
test_dir = "test/samples"
test_byte = false
test_serialized = true
tests =
[
"simple" ( test_args = [ "myper.cmb" ] )
"chain" ( test_args = [ "myper.cmb" "a.cmb" ] )
"pervasives" ( test_args = [ "pervasives.cmb" ] )
"simplest" ( test_args = [ "simpler.cmb" ] )
"pervasives2" ( test_args = [ "pervasives2.cmb" ] )
"good" ( test_args = [ "pervasives.cmb" "good.cmb" ] )
"bad" ( test_args = [ "pervasives.cmb" "bad.cmb" ] test_exit = 1 )
"conditionnal" ( test_args = [ "pervasives.cmb" "conditionnal.cmb" ] )
]
end
begin test "tmain"
files = [ ]
requires = [ "main" ]
test_dir = "test/samples"
test_byte = false
test_serialized = true
tests =
[
"simple" ( test_args = [ "-counter" "-dtlambda" "myper.ml" "-dot" "myper" ] )
"chain" ( test_args = [ "-counter" "-dtlambda" "myper.ml" "-open" "Myper" "a.ml" "-dot" "a" ] )
"pervasives" ( test_args = [ "-counter" "-dtlambda" "pervasives.ml" "-dot" "pervasives" ] )
"simplest" ( test_args = [ "-counter" "-dtlambda" "simpler.ml" "-dot" "simpler" ] )
"pervasives2" ( test_args = [ "-counter" "-dtlambda" "pervasives2.ml" "-dot" "pervasives2" ] )
"good" ( test_args = [ "-counter" "-dtlambda" "pervasives.ml" "-open" "Pervasives" "good.ml" "-dot" "good" ] )
"bad" ( test_args = [ "-counter" "-dtlambda" "pervasives.ml" "-open" "Pervasives" "bad.ml" "-dot" "bad" ] test_exit = 1 )
"conditionnal" ( test_args = [ "-counter" "-dtlambda" "pervasives.ml" "-open" "Pervasives" "conditionnal.ml" "-dot" "conditionnal" ] )
"cycle" ( test_args = [ "-counter" "-dtlambda" "pervasives.ml" "-open" "Pervasives" "cycle.ml" "-dot" "cycle" ] )
"minicycle" ( test_args = [ "-counter" "-dtlambda" "minicycle.ml" "-dot" "minicycle" ] )
"loop_no_rec" ( test_args = [ "-counter" "-dtlambda" "loop_no_rec.ml" "-dot" "loop_no_rec" ] test_exit = 1 )
"functions" ( test_args = [ "-counter" "-dtlambda" "pervasives.ml" "-open" "Pervasives" "functions.ml" "-dot" "functions" ] )
"semantics" ( test_args = [ "-counter" "-dtlambda" "pervasives.ml" "-open" "Pervasives" "semantics.ml" "-dot" "semantics" ] )
]
end