- 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 oldstack = read_procmem () in
+ 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 (stack size: before=%s, after=%s)@\n" t oldstack (read_procmem());
+ 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