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)