copy drdr:random command props to test configs

original commit: 48a85125dae2db557443daaa7893f84abbd15f93
2014-01-01 08:21:31 -07:00 · 2014-01-01 08:21:31 -07:00 · b5755371fd
commit b5755371fd
parent d4c1468be4
1 changed files with 5 additions and 0 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
@ -274,3 +274,8 @@
                #:keep-going? #t)))

 (printf "bad tests (usually typechecking failed): ~v~n" num-exceptions)
+
+(module+ test
+  (module config info
+    (define timeout 300)
+    (define random? #t)))