blob: 79179d9891340ae5cef0b94578aef4e737a48591 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(* TEST
include testing;
*)
(* Check that the numbers drawn from the default state are the same
on all platforms. *)
open Random
let _ =
for i = 0 to 20 do
print_char ' '; print_int (int 1000);
done;
print_newline (); print_newline ();
for i = 0 to 20 do
print_char ' '; print_float (float 1000.);
done
let _ = exit 0
|
