[mercury-users] Mercury 0.11.0 bug report: time__clocks_per_sec

[Fergus Henderson]

On 04-Jun-2005, Gregory D. Weber <gdweber at indiana.edu> wrote:
> The value returned by time__clocks_per_sec returns
> 1000000.000000 (one million); the true value seems to be 100.

One million is the correct value on any Posix-conforming system.

The value returned by time__clocks_per_sec only indicates the
scaling factor of the time__clock function.  It does not necessarily
have any relationship to the granularity of the underlying system clock.

I have clarified this in the documentation.

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------