From 3c1c5b1d031942b44b94aef6871ba7108b23d525 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 10 Nov 2015 10:38:37 -0600 Subject: [PATCH] Be more robust against one of {TR,R} erroring. --- typed-racket-test/tr-random-testing.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/typed-racket-test/tr-random-testing.rkt b/typed-racket-test/tr-random-testing.rkt index 3f4b4736..b5120c3a 100644 --- a/typed-racket-test/tr-random-testing.rkt +++ b/typed-racket-test/tr-random-testing.rkt @@ -213,9 +213,8 @@ (tr-eval sexp))) (or both-failed? (and (not racket-failed?) - (or (= racket-result tr-result) - ;; for NaN, which is not = to itself - (equal? racket-result tr-result))))) + ;; for NaN, which is not = to itself + (equal? racket-result tr-result)))) (define num-exceptions 0)