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
|
(* TEST
include testing;
*)
(* Test bound checks *)
let a = [| 0; 1; 2 |]
let trail = ref []
let test n =
let result =
try
trail := n :: !trail; ignore a.(n); "doesn't fail"
with Invalid_argument s ->
(* Check well-formedness of s *)
if String.length s = 19
&& s = "index out of bounds"
then "fails"
else "bad Invalid_argument"
| _ -> "bad exception"
in
print_int n; print_string ": "; print_string result; print_newline()
let _ =
test 0; test 1; test 2; test 3; test 4; test (-1);
Gc.full_major();
print_string "Trail:";
List.iter (fun n -> print_string " "; print_int n) !trail;
print_newline()
include Testing
|
