From 1093399c1e582116bcc89f63c4ab273888e41f2d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 25 Aug 2010 12:55:53 -0500 Subject: [PATCH] added in a mode that prints the timing when finding all results --- collects/redex/examples/r6rs/r6rs-tests.rkt | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/collects/redex/examples/r6rs/r6rs-tests.rkt b/collects/redex/examples/r6rs/r6rs-tests.rkt index c5ad5c215e..8117d9c614 100644 --- a/collects/redex/examples/r6rs/r6rs-tests.rkt +++ b/collects/redex/examples/r6rs/r6rs-tests.rkt @@ -2063,10 +2063,15 @@ of digits with deconv-base (define null '()) ,@r6-module-bodies)))) - (printf "Running in the Redex model...\n") + (printf "Running in the Redex model finding only the first outcome...\n") (time (for ([test (in-list redex-exps)]) (evaluate reductions test #f void - #:only-first-answer? #t))))] + #:only-first-answer? #t))) + + (printf "Running in the Redex model finding all outcomes...\n") + (time (for ([test (in-list redex-exps)]) + (evaluate reductions test #f void + #:only-first-answer? #f))))] [else (time (let ()