File: selfinit.ml

package info (click to toggle)
js-of-ocaml 6.2.0-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 37,932 kB
  • sloc: ml: 135,957; javascript: 58,364; ansic: 437; makefile: 422; sh: 12; perl: 4
file content (14 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
 
(* 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"