From 8b3ed722059b412ae410e4a1b2cfbe4b3dd4745e Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Sun, 7 Dec 2014 10:01:19 -0500
Subject: [PATCH] Increase test timeouts for DrDr.

---
 typed-racket-test/tests/info.rkt | 8 ++++++++
 1 file changed, 8 insertions(+)

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"