Version française
Home     About     Download     Resources     Contact us    
Browse thread
Tools for execution timing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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