suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

added in a mode that prints the timing when finding all results

Browse Source
This commit is contained in:
Robby Findler 2010-08-25 12:55:53 -05:00
parent 45a8854398
commit 1093399c1e
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/redex/examples/r6rs/r6rs-tests.rkt
View File

@ -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 ()