53118b378011 draft — orbitz 7 years ago
Sys.time only returns processor time and not wall clock time
1 files changed, 2 insertions(+), 2 deletions(-)

M src/oth/oth.ml
M src/oth/oth.ml +2 -2
@@ 33,9 33,9 @@ let serial tests state =
 let parallel = serial
 
 let time_call f =
-  let start = Sys.time () in
+  let start = Unix.gettimeofday () in
   let res = f () in
-  let stop = Sys.time () in
+  let stop = Unix.gettimeofday () in
   let sec = stop -. start in
   (sec, res)