diff --git a/typed-racket-test/tests/info.rkt b/typed-racket-test/tests/info.rkt index 3d635a67..1c7d1c9e 100644 --- a/typed-racket-test/tests/info.rkt +++ b/typed-racket-test/tests/info.rkt @@ -2,6 +2,14 @@ (define name "Typed Racket Test Suite") +(define test-timeouts + '(("typed-racket/typed-racket/optimizer/run.rkt" 1200) + ("typed-racket/typed-racket/run.rkt" 1800) + ("typed-racket/typed-racket/tr-random-testing.rkt" 300) + ("typed-racket/typed-racket/with-tr-contracts.rkt" 1000) + )) + + ;; No need to compile the actual integration tests, just the harness. (define compile-omit-paths '("typed-racket/succeed"