suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Be more robust against one of {TR,R} erroring.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-11-10 10:38:37 -06:00
parent c9db5dded7
commit 3c1c5b1d03
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
typed-racket-test/tr-random-testing.rkt
View File

@ -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)