From 32529d89c0699407e1208d1e5928d897222f033f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 29 Jan 2013 06:55:47 -0600 Subject: [PATCH] adjust randomized racket machine tests to print to stderr on failure and to not print anything on success --- collects/redex/examples/racket-machine/randomized-tests.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/redex/examples/racket-machine/randomized-tests.rkt b/collects/redex/examples/racket-machine/randomized-tests.rkt index d173ccdd52..8acd527dcf 100644 --- a/collects/redex/examples/racket-machine/randomized-tests.rkt +++ b/collects/redex/examples/racket-machine/randomized-tests.rkt @@ -335,10 +335,10 @@ (match t [#t k] [(counterexample p) - (pretty-print p) + (pretty-print p (current-error-port)) (exit 1)])) (test (time (test-internal-properties/cycles #:attempts 4000 #:print? #f)) (test (time (test-external-properties #:attempts 250 #:print? #f)) (void)))) -(module+ main (main)) +(module+ main (void (main)))