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)))