From 4866ff825b2e823c28cac9e4486421354c36d903 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 5 Mar 2015 22:23:41 -0500 Subject: [PATCH] Increase with-tr-contracts.rkt timeout --- typed-racket-test/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-test/info.rkt b/typed-racket-test/info.rkt index eae6b9be..4146fe74 100644 --- a/typed-racket-test/info.rkt +++ b/typed-racket-test/info.rkt @@ -39,7 +39,7 @@ '(("optimizer/run.rkt" 1200) ("run.rkt" 1800) ("tr-random-testing.rkt" 300) - ("with-tr-contracts.rkt" 1000))) + ("with-tr-contracts.rkt" 1500))) ;; No need to compile the actual integration tests, just the harness.