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

adjust randomized racket machine tests to print to

Browse Source 
stderr on failure and to not print anything on success
This commit is contained in:
Robby Findler 2013-01-29 06:55:47 -06:00
parent 28493dcc88
commit 32529d89c0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/redex/examples/racket-machine/randomized-tests.rkt
View File

@ -335,10 +335,10 @@
(match t (match t
[#t k] [#t k]
[(counterexample p) [(counterexample p)
(pretty-print p) (pretty-print p (current-error-port))
(exit 1)])) (exit 1)]))
(test (time (test-internal-properties/cycles #:attempts 4000 #:print? #f)) (test (time (test-internal-properties/cycles #:attempts 4000 #:print? #f))
(test (time (test-external-properties #:attempts 250 #:print? #f)) (test (time (test-external-properties #:attempts 250 #:print? #f))
(void)))) (void))))
(module+ main (main)) (module+ main (void (main)))