File: selfinit.ml

package info (click to toggle)
js-of-ocaml 5.9.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 32,020 kB
  • sloc: ml: 91,250; javascript: 57,289; ansic: 315; makefile: 271; lisp: 23; sh: 6; perl: 4
file content (15 lines) | stat: -rw-r--r-- 388 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
(* TEST
*)

(* Test that two Random.self_init() in close succession will not result
   in the same PRNG state.
   Note that even when the code is correct this test is expected to fail
   once in 2^30 runs.
*)

let () =
  Random.self_init ();
  let x = Random.bits () in
  Random.self_init ();
  let y = Random.bits () in
  if x = y then print_endline "FAILED" else print_endline "PASSED"