From 3062efe47f3f4d72b30dd7bea280bdf7fd06c2d1 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sat, 26 May 2012 11:06:29 -0400 Subject: [PATCH] Reduce random testing attemps to avoid DrDr timeouts. --- collects/tests/typed-racket/tr-random-testing.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-racket/tr-random-testing.rkt b/collects/tests/typed-racket/tr-random-testing.rkt index 93a9100849..cd0a4431be 100644 --- a/collects/tests/typed-racket/tr-random-testing.rkt +++ b/collects/tests/typed-racket/tr-random-testing.rkt @@ -121,5 +121,5 @@ #f 1000 (lambda () (redex-check tr-arith E (check-all-floats (term E)) - #:attempts 1000 + #:attempts 500 #:prepare exp->float-exp)))