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

add random testing check-equal

Browse Source
This commit is contained in:
Stephen Chang 2016-07-14 12:50:05 -04:00
parent 2f60ad5e27
commit 30d5a8780b
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
turnstile/examples/tests/rackunit-typechecking.rkt
View File

@ -1,6 +1,7 @@
#lang racket/base
(require (for-syntax rackunit syntax/srcloc) rackunit macrotypes/typecheck)
(provide check-type typecheck-fail check-not-type check-props check-runtime-exn)
(provide check-type typecheck-fail check-not-type check-props check-runtime-exn
check-equal/rand)
(begin-for-syntax
(define (add-esc s) (string-append "\\" s))
@ -90,3 +91,15 @@
[(_ e)
#:with e- (expand/df #'e)
(syntax/loc stx (check-exn exn:fail? (lambda () e-)))]))
(define-simple-macro (check-equal/rand f (~optional (~seq #:process p)
#:defaults ([p #'(lambda (x) x)])))
#:with f* (format-id #'f "~a*" #'f)
#:with out (syntax/loc this-syntax (check-equal/rand-fn f f* p))
out)
(define-check (check-equal/rand-fn f f* process)
(for ([i 100000])
(let ([ks (for/list ([n (procedure-arity f)]) (random 4294967087))])
(with-check-info (['f f] ['inputs ks])
(check-equal? (apply f (map process ks))
(apply f* (map process ks)))))))