Changed GET-INTERNAL-RUN-TIME to use UNIX-FAST-GETRUSAGE to avoid
number-consing and generic arithmetic. Also, rearranged the computation so that the time is correctly computed for up to 457 days, instead of only 71 minutes.
Loading
Please register or sign in to comment