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

fix printout

Browse Source
This commit is contained in:
Robby Findler 2014-03-30 21:07:50 -05:00
parent cef2d83f75
commit e2fe7c658f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt
View File

@ -126,7 +126,7 @@
(trials-loop t g))))
(define me-time (- (current-process-milliseconds) t-time))
(define ok? (with-timeout (* 5 60 1000) (λ () (check term))
(λ () (printf "\nIn ~a, ~a, timed out checking the term:~a\n"
(λ () (printf "\nIn ~a, ~a, timed out checking the term: ~s\n"
fname type term)
(trials-loop t g))))
(cond