Explicitly flush output after printing random testing seed.

2013-04-26 14:16:36 -04:00 · 2013-04-26 14:16:36 -04:00 · 056a6044e5
commit 056a6044e5
parent 27053884d8
1 changed files with 1 additions and 0 deletions
--- a/collects/tests/typed-racket/tr-random-testing.rkt
+++ b/collects/tests/typed-racket/tr-random-testing.rkt
@ -259,6 +259,7 @@

 (random-seed seed)
 (printf "seed: ~s~n" seed)
+(flush-output) ; DrDr doesn't print the above if the testing segfaults.

 (call-with-limits
 #f 1000