Changeset 1637 for trunk/configs

Show
Ignore:
Timestamp:
10/24/04 03:41:38 (4 years ago)
Author:
pmoura
Message:

Use statistics/2 instead of cputime/0 for more accurate timing.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/configs/yap.config

    r1627 r1637  
    385385 
    386386'$lgt_cpu_time'(Seconds) :- 
    387     Seconds is cputime. 
     387    statistics(cputime, [Miliseconds, _]), 
     388    Seconds is Miliseconds/1000. 
    388389 
    389390