Use the new #:keep-going? option for TR random testing.

2013-11-01 13:56:49 -04:00 · 2013-11-01 13:56:49 -04:00 · 7f90ace546
commit 7f90ace546
parent 90bfbcbec8
1 changed files with 2 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
@ -270,6 +270,7 @@
 (lambda ()
   (redex-check tr-arith E (check-all-reals (term E))
                #:attempts n-attempts
-                #:prepare exp->real-exp)))
+                #:prepare exp->real-exp
+                #:keep-going? #t)))

 (printf "bad tests (usually typechecking failed): ~v~n" num-exceptions)