From b4e4797e6a6ad3baf8c9dc2c7af3afc10e0a6b84 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 13 Dec 2011 14:01:03 -0500 Subject: [PATCH] Unrollings are reported separately from successes. --- collects/typed-racket/optimizer/tool/mzc.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/optimizer/tool/mzc.rkt b/collects/typed-racket/optimizer/tool/mzc.rkt index 7785db10d1..56464b1ef4 100644 --- a/collects/typed-racket/optimizer/tool/mzc.rkt +++ b/collects/typed-racket/optimizer/tool/mzc.rkt @@ -196,7 +196,7 @@ (success? evt)))) site)))) - (define n-successes (length (filter success? group))) + (define n-successes (- (length (filter success? group)) n-unrollings)) (define n-failures (length (filter failure? group))) (define n-out-of-fuels (length (filter out-of-fuel? group)))