Increase test timeouts for DrDr.

2014-12-07 10:01:19 -05:00 · 2014-12-07 10:01:19 -05:00 · 8b3ed72205
commit 8b3ed72205
parent eb1459e524
1 changed files with 8 additions and 0 deletions
--- 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"