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

svn: r14003

Browse Source
This commit is contained in:
Robby Findler 2009-03-07 13:53:54 +00:00
parent 37cde560a9
commit d07a335324
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/redex/private/reduction-semantics.ss
View File

@ -1850,9 +1850,13 @@
[(= tests 0) [(= tests 0)
(printf "No tests run.\n")] (printf "No tests run.\n")]
[(= test-failures 0) [(= test-failures 0)
(if (= tests 1) (cond
(printf "One test passed.\n") [(= tests 1)
(printf "All ~a tests passed.\n" tests))] (printf "One test passed.\n")]
[(= tests 2)
(printf "Both tests passed.\n")]
[else
(printf "All ~a tests passed.\n" tests)])]
[else [else
(printf "~a test~a failed (out of ~a total).\n" (printf "~a test~a failed (out of ~a total).\n"
test-failures test-failures