From 84de4fd8e3a60254a7653fa90c80e9c4ec2bdca8 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 19 Nov 2014 17:38:17 -0500 Subject: [PATCH] Bump up DrDr timeout for with-tr-contracts.rkt --- pkgs/plt-services/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/plt-services/meta/props b/pkgs/plt-services/meta/props index 75ffec9d87..4bf1511bdc 100755 --- a/pkgs/plt-services/meta/props +++ b/pkgs/plt-services/meta/props @@ -1174,7 +1174,7 @@ path/s is either such a string or a list of them. "pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/run.rkt" drdr:timeout 1200 "pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/run.rkt" drdr:timeout 1800 "pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt" drdr:timeout 300 drdr:random #t -"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/with-tr-contracts.rkt" drdr:timeout 600 +"pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/with-tr-contracts.rkt" drdr:timeout 1000 "pkgs/unstable-2d" responsible (robby) "pkgs/unstable-contract-lib" responsible (robby ryanc) "pkgs/unstable-debug-lib" responsible (samth)