Skip to content

Commit fe48051

Browse files
committed
Add cram tests in regressin directory
Signed-off-by: Kakadu <[email protected]>
1 parent e3a25a6 commit fe48051

File tree

170 files changed

+808
-588
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

170 files changed

+808
-588
lines changed

regression/Makefile

-24
This file was deleted.

regression/common.ml

-16
This file was deleted.

regression/dune

+162
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,162 @@
1+
; This file was autogenerated
2+
3+
(cram (deps ../src/Driver.exe ../runtime/Std.i ../runtime32/Std.i))
4+
5+
(cram (applies_to test001)
6+
(deps test001.lama test001.input))
7+
(cram (applies_to test002)
8+
(deps test002.lama test002.input))
9+
(cram (applies_to test003)
10+
(deps test003.lama test003.input))
11+
(cram (applies_to test004)
12+
(deps test004.lama test004.input))
13+
(cram (applies_to test005)
14+
(deps test005.lama test005.input))
15+
(cram (applies_to test006)
16+
(deps test006.lama test006.input))
17+
(cram (applies_to test007)
18+
(deps test007.lama test007.input))
19+
(cram (applies_to test008)
20+
(deps test008.lama test008.input))
21+
(cram (applies_to test009)
22+
(deps test009.lama test009.input))
23+
(cram (applies_to test010)
24+
(deps test010.lama test010.input))
25+
(cram (applies_to test011)
26+
(deps test011.lama test011.input))
27+
(cram (applies_to test012)
28+
(deps test012.lama test012.input))
29+
(cram (applies_to test013)
30+
(deps test013.lama test013.input))
31+
(cram (applies_to test014)
32+
(deps test014.lama test014.input))
33+
(cram (applies_to test015)
34+
(deps test015.lama test015.input))
35+
(cram (applies_to test016)
36+
(deps test016.lama test016.input))
37+
(cram (applies_to test017)
38+
(deps test017.lama test017.input))
39+
(cram (applies_to test018)
40+
(deps test018.lama test018.input))
41+
(cram (applies_to test019)
42+
(deps test019.lama test019.input))
43+
(cram (applies_to test020)
44+
(deps test020.lama test020.input))
45+
(cram (applies_to test021)
46+
(deps test021.lama test021.input))
47+
(cram (applies_to test022)
48+
(deps test022.lama test022.input))
49+
(cram (applies_to test023)
50+
(deps test023.lama test023.input))
51+
(cram (applies_to test024)
52+
(deps test024.lama test024.input))
53+
(cram (applies_to test025)
54+
(deps test025.lama test025.input))
55+
(cram (applies_to test026)
56+
(deps test026.lama test026.input))
57+
(cram (applies_to test027)
58+
(deps test027.lama test027.input))
59+
(cram (applies_to test028)
60+
(deps test028.lama test028.input))
61+
(cram (applies_to test029)
62+
(deps test029.lama test029.input))
63+
(cram (applies_to test034)
64+
(deps test034.lama test034.input))
65+
(cram (applies_to test036)
66+
(deps test036.lama test036.input))
67+
(cram (applies_to test040)
68+
(deps test040.lama test040.input))
69+
(cram (applies_to test041)
70+
(deps test041.lama test041.input))
71+
(cram (applies_to test042)
72+
(deps test042.lama test042.input))
73+
(cram (applies_to test045)
74+
(deps test045.lama test045.input))
75+
(cram (applies_to test046)
76+
(deps test046.lama test046.input))
77+
(cram (applies_to test050)
78+
(deps test050.lama test050.input))
79+
(cram (applies_to test054)
80+
(deps test054.lama test054.input))
81+
(cram (applies_to test059)
82+
(deps test059.lama test059.input))
83+
(cram (applies_to test063)
84+
(deps test063.lama test063.input))
85+
(cram (applies_to test072)
86+
(deps test072.lama test072.input))
87+
(cram (applies_to test073)
88+
(deps test073.lama test073.input))
89+
(cram (applies_to test074)
90+
(deps test074.lama test074.input))
91+
(cram (applies_to test077)
92+
(deps test077.lama test077.input))
93+
(cram (applies_to test078)
94+
(deps test078.lama test078.input))
95+
(cram (applies_to test079)
96+
(deps test079.lama test079.input))
97+
(cram (applies_to test080)
98+
(deps test080.lama test080.input))
99+
(cram (applies_to test081)
100+
(deps test081.lama test081.input))
101+
(cram (applies_to test082)
102+
(deps test082.lama test082.input))
103+
(cram (applies_to test083)
104+
(deps test083.lama test083.input))
105+
(cram (applies_to test084)
106+
(deps test084.lama test084.input))
107+
(cram (applies_to test085)
108+
(deps test085.lama test085.input))
109+
(cram (applies_to test086)
110+
(deps test086.lama test086.input))
111+
(cram (applies_to test088)
112+
(deps test088.lama test088.input))
113+
(cram (applies_to test089)
114+
(deps test089.lama test089.input))
115+
(cram (applies_to test090)
116+
(deps test090.lama test090.input))
117+
(cram (applies_to test091)
118+
(deps test091.lama test091.input))
119+
(cram (applies_to test092)
120+
(deps test092.lama test092.input))
121+
(cram (applies_to test093)
122+
(deps test093.lama test093.input))
123+
(cram (applies_to test094)
124+
(deps test094.lama test094.input))
125+
(cram (applies_to test095)
126+
(deps test095.lama test095.input))
127+
(cram (applies_to test096)
128+
(deps test096.lama test096.input))
129+
(cram (applies_to test097)
130+
(deps test097.lama test097.input))
131+
(cram (applies_to test098)
132+
(deps test098.lama test098.input))
133+
(cram (applies_to test099)
134+
(deps test099.lama test099.input))
135+
(cram (applies_to test100)
136+
(deps test100.lama test100.input))
137+
(cram (applies_to test101)
138+
(deps test101.lama test101.input))
139+
(cram (applies_to test102)
140+
(deps test102.lama test102.input))
141+
(cram (applies_to test103)
142+
(deps test103.lama test103.input))
143+
(cram (applies_to test104)
144+
(deps test104.lama test104.input))
145+
(cram (applies_to test105)
146+
(deps test105.lama test105.input))
147+
(cram (applies_to test106)
148+
(deps test106.lama test106.input))
149+
(cram (applies_to test107)
150+
(deps test107.lama test107.input))
151+
(cram (applies_to test110)
152+
(deps test110.lama test110.input))
153+
(cram (applies_to test111)
154+
(deps test111.lama test111.input))
155+
(cram (applies_to test112)
156+
(deps test112.lama test112.input))
157+
(cram (applies_to test801)
158+
(deps test801.lama test801.input))
159+
(cram (applies_to test802)
160+
(deps test802.lama test802.input))
161+
(cram (applies_to test803)
162+
(deps test803.lama test803.input))

regression/gen.ml

+35
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
(* Run as `ocaml gen.ml` *)
2+
3+
let count = 1000
4+
5+
let () =
6+
Out_channel.with_open_text "dune" (fun dunech ->
7+
let dprintfn fmt = Format.kasprintf (Printf.fprintf dunech "%s\n") fmt in
8+
dprintfn "; This file was autogenerated\n";
9+
dprintfn "(cram (deps ../src/Driver.exe ../runtime/Std.i ../runtime32/Std.i))\n";
10+
11+
for i = 0 to count - 1 do
12+
let cram_buf = Buffer.create 100 in
13+
let cram_printfn fmt =
14+
Format.kasprintf (Printf.bprintf cram_buf "%s\n") fmt
15+
in
16+
let cram_file = ref (Printf.sprintf "test%03d.t" i) in
17+
let lama_file = ref (Printf.sprintf "test%03d.lama" i) in
18+
let input_file = ref (Printf.sprintf "test%03d.input" i) in
19+
20+
21+
let found =
22+
if Sys.file_exists !lama_file then (
23+
cram_printfn
24+
" $ LAMA=../runtime ../src/Driver.exe -i test%03d.lama < \
25+
test%03d.input"
26+
i i;
27+
true)
28+
else false
29+
in
30+
if found then (
31+
dprintfn "(cram (applies_to test%03d)" i;
32+
dprintfn " (deps %s %s))" !lama_file !input_file;
33+
Out_channel.with_open_text !cram_file (fun ch ->
34+
output_string ch (Buffer.contents cram_buf)))
35+
done)

regression/orig/new_test001.log

-5
This file was deleted.

regression/orig/new_test002.log

-10
This file was deleted.

regression/orig/new_test003.log

-10
This file was deleted.

regression/orig/test001.log

-1
This file was deleted.

regression/orig/test002.log

-1
This file was deleted.

regression/orig/test003.log

-3
This file was deleted.

regression/orig/test004.log

-1
This file was deleted.

regression/orig/test005.log

-1
This file was deleted.

regression/orig/test006.log

-6
This file was deleted.

regression/orig/test007.log

-1
This file was deleted.

regression/orig/test008.log

-1
This file was deleted.

regression/orig/test009.log

-1
This file was deleted.

regression/orig/test010.log

-1
This file was deleted.

regression/orig/test011.log

-1
This file was deleted.

regression/orig/test012.log

-8
This file was deleted.

regression/orig/test013.log

-8
This file was deleted.

regression/orig/test014.log

-31
This file was deleted.

regression/orig/test015.log

-1
This file was deleted.

regression/orig/test016.log

-1
This file was deleted.

regression/orig/test017.log

-1
This file was deleted.

regression/orig/test018.log

-14
This file was deleted.

regression/orig/test019.log

-1
This file was deleted.

regression/orig/test020.log

-1
This file was deleted.

regression/orig/test021.log

-1
This file was deleted.

regression/orig/test022.log

-1
This file was deleted.

regression/orig/test023.log

-1
This file was deleted.

regression/orig/test024.log

-2
This file was deleted.

regression/orig/test025.log

-12
This file was deleted.

0 commit comments

Comments
 (0)