commit 3ea138853dfc00560e078d6879469c6b83a74236
parent e4da265b5017332007bb130c7df55b24d6dc4214
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Tue, 29 Mar 2016 09:06:55 -0400
get more entropy in callgen.ml
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/tools/callgen.ml b/tools/callgen.ml
@@ -65,6 +65,7 @@ module Gen = struct
| None ->
let f = open_in "/dev/urandom" in
let seed =
+ Char.code (input_char f) lsl 16 +
Char.code (input_char f) lsl 8 +
Char.code (input_char f) in
close_in f;