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
|
(* TEST
*)
let f x =
let a0 = ref 1 in
let a1 = ref 1 in
let a2 = ref 1 in
let a3 = ref 1 in
let a4 = ref 1 in
let a5 = ref 1 in
let a6 = ref 1 in
let a7 = ref 1 in
let a8 = ref 1 in
let a9 = ref 1 in
let a10 = ref 1 in
let a11 = ref 1 in
let a12 = ref 1 in
if x then raise Not_found;
[| a0; a1; a2; a3; a4; a5; a6; a7; a8; a9; a10; a11; a12 |]
let () =
for i = 1 to 50000 do
let rs = Sys.opaque_identity f false in
assert (Array.for_all (fun x -> !x = 1) rs);
let _ = Array.make (Random.int 30) 'a' in ()
done;
print_string "ok\n"
|
