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

original commit: 7f90ace5468c612cce1b0cdc57554bb7d945c0f4
2013-11-01 13:56:49 -04:00 · 2013-11-01 13:56:49 -04:00 · 6225cc1301
commit 6225cc1301
parent 99f901da81
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)