Hi,
I have been looking into ways to time a program accurately.
I have used the {Property.get 'time.total'} function but this only seems
to return time in multiples of 10ms.
Is it possible to get the accuracy down to actual millisecond intervals?
My linux box reports time in single milliseconds from the command prompt.
I notice there is a 'time.detailed' property but I'm not sure if or how
this may work.
Any help would be gratefully accepted,
Regards
Mark
--
Mark Richardson
Final year undergraduate
University of Teesside
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users