Explicitly flush output after printing random testing seed.

original commit: 056a6044e59a9a44ea4acac1d682e5824583b2d6
2013-04-26 14:16:36 -04:00 · 2013-04-26 14:16:36 -04:00 · f324fecbe1
commit f324fecbe1
parent 9998f2c0b2
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