Bigloo does not report time in centiseconds anymore (as of 3.6a).

This commit is contained in:
Vincent St-Amour 2011-04-27 11:43:45 -04:00
parent 31df4384e1
commit 99f4ae14ee

View File

@ -282,12 +282,10 @@ exec racket -qu "$0" ${1+"$@"}
(map bytes->number (cdr m))))
(define (extract-bigloo-times bm str)
(let ([m (regexp-match #rx#"real: ([0-9]+) sys: ([0-9]+) user: ([0-9]+)" str)]
;; `time' result is 10s of milliseconds? OS ticks, maybe?
[msec/tick 10])
(list (* msec/tick (+ (bytes->number (caddr m))
(bytes->number (cadddr m))))
(* msec/tick (bytes->number (cadr m)))
(let ([m (regexp-match #rx#"real: ([0-9]+) sys: ([0-9]+) user: ([0-9]+)" str)])
(list (+ (bytes->number (caddr m))
(bytes->number (cadddr m)))
(bytes->number (cadr m))
0)))
(define (extract-larceny-times bm str)