From 6225cc13010f162df2f9b2eb3f8039d99ba8f5ec Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 1 Nov 2013 13:56:49 -0400 Subject: [PATCH] Use the new #:keep-going? option for TR random testing. original commit: 7f90ace5468c612cce1b0cdc57554bb7d945c0f4 --- .../typed-racket-test/tests/typed-racket/tr-random-testing.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git 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 index 2f7a1e7d..f3be472d 100644 --- 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)