let t2 = Unix.gettimeofday () in
let t = (1000. *. (t2 -. t1)) in
l:= t::!l;
- Printf.eprintf " %fms\n%!" t ;
- Printf.eprintf "Mem use before: %s\n%!" s1;
- Printf.eprintf "Final Mem: %s\n\n\n%!" s2;
+ Logger.print Format.err_formatter " %fms\n%!" t ;
+ Logger.print Format.err_formatter "Mem use before: %s\n%!" s1;
+ Logger.print Format.err_formatter "Final Mem: %s\n\n\n%!" s2;
r
;;
let time f ?(count=1) ?(msg="") x =
let rec loop i =
Gc.compact();
- let t1 = Unix.gettimeofday () in
- let r = f x in
- let t2 = Unix.gettimeofday () in
- let t = (1000. *. (t2 -. t1)) in
- Printf.eprintf "%s: " msg;
- if (count != 1) then Printf.eprintf "run %i/%i, " i count;
- Printf.eprintf "%fms\n%!" t;
- if i >= count then (l:= t::!l;r)
- else loop (i+1)
- in loop 1
+ let t1 = Unix.gettimeofday () in
+ let r = f x in
+ let t2 = Unix.gettimeofday () in
+ let t = (1000. *. (t2 -. t1)) in
+ Logger.print Format.err_formatter "%s: " msg;
+ if (count != 1) then Logger.print Format.err_formatter "run %i/%i, " i count;
+ Logger.print Format.err_formatter "%fms" t;
+ if i >= count then (l:= t::!l;r)
+ else loop (i+1)
+ in
+ let r = loop 1 in
+ Logger.print Format.err_formatter "@\n";
+ r
;;
let total_time () = List.fold_left (+.) 0. !l;;