From b5755371fd330dcefe228ec3d304d07028019493 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 1 Jan 2014 08:21:31 -0700
Subject: [PATCH] copy `drdr:random` command props to test configs

original commit: 48a85125dae2db557443daaa7893f84abbd15f93
---
 .../tests/typed-racket/tr-random-testing.rkt                 | 5 +++++
 1 file changed, 5 insertions(+)

diff --git 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
index f3be472d..f24c5e91 100644
--- 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)))