Browse thread
Tools for execution timing
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Denis Bueno <dbueno@g...> |
| Subject: | Re: [Caml-list] Tools for execution timing |
On 2/27/07, Daniel Bünzli <daniel.buenzli@epfl.ch> wrote: > > Le 27 févr. 07 à 19:24, Denis Bueno a écrit : > > > what do people use to time executions? > > Assuming you are not on windows. Compile with -p and use gprof > (linux) or shark (macos). If you want to time within the program Ah! Didn't think about using Shark. I tried that just now and it works like a charm. Thanks for the advice! -Denis