Reduce random testing attemps to avoid DrDr timeouts.

This commit is contained in:
Vincent St-Amour 2012-05-26 11:06:29 -04:00
parent b5ab6cec7e
commit 3062efe47f

View File

@ -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)))