Reduce random testing attemps to avoid DrDr timeouts.

original commit: 3062efe47f3f4d72b30dd7bea280bdf7fd06c2d1
2012-05-26 11:06:29 -04:00 · 2012-05-26 11:06:29 -04:00 · 2b2592d811
commit 2b2592d811
parent c01818f6b2
1 changed files with 1 additions and 1 deletions
--- 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)))