5836
((3) 0 () 14 ((q lib "rackunit/main.rkt") (q 0 . 25) (q 7114 . 3) (q 7482 . 4) (q 3139 . 43) (q 7606 . 4) (q 1985 . 16) (q 7342 . 4) (q 919 . 10) (q 7726 . 4) (q 1854 . 5) (q lib "rackunit/log.rkt") (q 7202 . 4) (q lib "rackunit/gui.rkt")) () (h ! (equal) ((c form c (c (? . 0) q before)) q (5004 . 2)) ((c def c (c (? . 13) q test/gui)) q (5609 . 4)) ((c def c (c (? . 0) q check-not-eqv?)) c (? . 1)) ((c def c (c (? . 0) q check-not-eq?)) c (? . 1)) ((c def c (c (? . 0) q test-error-result)) c (? . 5)) ((c def c (c (? . 0) q test-success-result)) c (? . 9)) ((c def c (c (? . 0) q current-check-handler)) q (6404 . 4)) ((c def c (c (? . 0) q foldts-test-suite)) q (8626 . 7)) ((q def ((lib "rackunit/text-ui.rkt") run-tests)) q (5434 . 4)) ((c def c (c (? . 0) q test-suite-test-case-around)) q (6954 . 3)) ((c def c (c (? . 0) q exn:test?)) c (? . 2)) ((c form c (c (? . 0) q define-simple-check)) q (2733 . 2)) ((c form c (c (? . 0) q fail-check)) q (2966 . 3)) ((c form c (c (? . 0) q check-match)) q (1575 . 3)) ((c def c (c (? . 0) q test-suite?)) q (4849 . 3)) ((c def c (c (? . 0) q fold-test-results)) q (8109 . 13)) ((c def c (c (? . 0) q make-test-failure)) c (? . 3)) ((c def c (c (? . 0) q check-eq?)) c (? . 1)) ((c form c (c (? . 0) q define-check)) q (2913 . 2)) ((c def c (c (? . 0) q check-equal?)) c (? . 1)) ((c def c (c (? . 0) q current-test-name)) q (6672 . 4)) ((c def c (c (? . 0) q test-=)) c (? . 4)) ((c def c (c (? . 0) q make-exn:test)) c (? . 2)) ((c def c (c (? . 0) q test-result?)) c (? . 7)) ((c def c (c (? . 0) q test-failure?)) c (? . 3)) ((c def c (c (? . 0) q check-info-name)) c (? . 10)) ((q def ((lib "rackunit/docs-complete.rkt") check-docs)) q (5826 . 8)) ((c def c (c (? . 0) q make-check-expression)) c (? . 6)) ((c def c (c (? . 0) q test-exn)) c (? . 4)) ((c def c (c (? . 0) q check-false)) c (? . 8)) ((c def c (c (? . 0) q test-error?)) c (? . 5)) ((c def c (c (? . 0) q dynamic-require/expose)) q (5244 . 6)) ((c def c (c (? . 0) q check-exn)) q (1184 . 5)) ((c form c (c (? . 0) q define/provide-test-suite)) q (4952 . 2)) ((c def c (c (? . 0) q test-suite-check-around)) q (7034 . 3)) ((c def c (c (? . 0) q exn:test:check)) c (? . 12)) ((c def c (c (? . 0) q check)) q (1640 . 6)) ((c def c (c (? . 0) q make-check-params)) c (? . 6)) ((c def c (c (? . 0) q make-test-result)) c (? . 7)) ((c def c (c (? . 0) q make-check-message)) c (? . 6)) ((c def c (c (? . 0) q make-check-expected)) c (? . 6)) ((c def c (c (? . 0) q check-not-false)) c (? . 8)) ((c def c (c (? . 0) q test-failure-result)) c (? . 3)) ((c def c (c (? . 0) q struct:test-failure)) c (? . 3)) ((c def c (c (? . 0) q test-failure)) c (? . 3)) ((c form c (c (? . 0) q around)) q (5100 . 2)) ((c def c (c (? . 0) q test-success)) c (? . 9)) ((c def c (c (? . 0) q test-result-test-case-name)) c (? . 7)) ((c def c (c (? . 0) q check-info-value)) c (? . 10)) ((c def c (c (? . 0) q check-=)) q (775 . 6)) ((c def c (c (? . 0) q with-check-info*)) q (2567 . 4)) ((c def c (c (? . 0) q test-equal?)) c (? . 4)) ((c def c (c (? . 0) q test-case?)) q (3081 . 3)) ((c def c (c (? . 0) q make-test-error)) c (? . 5)) ((c def c (c (? . 0) q current-test-case-around)) q (6807 . 4)) ((c def c (c (? . 0) q test-check)) c (? . 4)) ((c def c (c (? . 0) q check-not-exn)) q (1361 . 4)) ((c def c (c (? . 0) q make-check-name)) c (? . 6)) ((c def c (c (? . 0) q fail)) q (1784 . 3)) ((c def c (c (? . 11) q test-log)) q (6170 . 7)) ((c form c (c (? . 0) q define-binary-check)) q (2793 . 3)) ((c form c (c (? . 0) q after)) q (5052 . 2)) ((c def c (c (? . 0) q struct:test-result)) c (? . 7)) ((c def c (c (? . 0) q check-true)) c (? . 8)) ((c form c (c (? . 0) q define-test-suite)) q (4908 . 2)) ((c form c (c (? . 0) q with-check-info)) q (2677 . 2)) ((c def c (c (? . 0) q check-eqv?)) c (? . 1)) ((c def c (c (? . 0) q test-false)) c (? . 4)) ((c form c (c (? . 0) q delay-test)) q (5162 . 2)) ((c def c (c (? . 0) q test-pred)) c (? . 4)) ((c def c (c (? . 11) q test-log!)) q (6108 . 3)) ((c form c (c (? . 0) q test-suite)) q (4231 . 10)) ((c def c (c (? . 0) q check-info?)) c (? . 10)) ((c def c (c (? . 0) q check-not-equal?)) c (? . 1)) ((c def c (c (? . 0) q run-test)) q (7964 . 4)) ((c def c (c (? . 0) q test-eq?)) c (? . 4)) ((c def c (c (? . 0) q run-test-case)) q (7850 . 4)) ((c def c (c (? . 0) q make-exn:test:check)) c (? . 12)) ((c def c (c (? . 0) q test-error)) c (? . 5)) ((c def c (c (? . 0) q struct:test-success)) c (? . 9)) ((c def c (c (? . 0) q current-check-around)) q (6537 . 4)) ((c def c (c (? . 0) q exn:test)) c (? . 2)) ((c form c (c (? . 0) q test-begin)) q (3013 . 2)) ((c def c (c (? . 0) q exn:test:check-stack)) c (? . 12)) ((c def c (c (? . 0) q test-true)) c (? . 4)) ((c def c (c (? . 0) q struct:test-error)) c (? . 5)) ((c def c (c (? . 0) q test-success?)) c (? . 9)) ((c def c (c (? . 0) q make-test-suite)) q (4470 . 9)) ((c form c (c (? . 0) q require/expose)) q (5201 . 2)) ((c def c (c (? . 0) q make-check-actual)) c (? . 6)) ((c def c (c (? . 0) q test-not-exn)) c (? . 4)) ((c def c (c (? . 0) q make-check-location)) c (? . 6)) ((c form c (c (? . 0) q test-case)) q (3044 . 2)) ((c def c (c (? . 0) q test-eqv?)) c (? . 4)) ((c def c (c (? . 0) q check-pred)) q (648 . 5)) ((c def c (c (? . 0) q make-check-info)) c (? . 10)) ((c def c (c (? . 0) q test-result)) c (? . 7)) ((c def c (c (? . 0) q struct:exn:test:check)) c (? . 12)) ((c def c (c (? . 0) q test-not-false)) c (? . 4)) ((c def c (c (? . 0) q struct:exn:test)) c (? . 2)) ((c def c (c (? . 0) q check-regexp-match)) q (1471 . 4)) ((c def c (c (? . 0) q check-info)) c (? . 10)) ((c def c (c (? . 0) q exn:test:check?)) c (? . 12)) ((c def c (c (? . 0) q struct:check-info)) c (? . 10)) ((c def c (c (? . 13) q make-gui-runner)) q (5745 . 2)) ((c def c (c (? . 0) q make-test-success)) c (? . 9))))
procedure
(check-eq? v1 v2 [message]) -> void?
  v1 : any
  v2 : any
  message : string? = ""
(check-not-eq? v1 v2 [message]) -> void?
  v1 : any
  v2 : any
  message : string? = ""
(check-eqv? v1 v2 [message]) -> void?
  v1 : any
  v2 : any
  message : string? = ""
(check-not-eqv? v1 v2 [message]) -> void?
  v1 : any
  v2 : any
  message : string? = ""
(check-equal? v1 v2 [message]) -> void?
  v1 : any
  v2 : any
  message : string? = ""
(check-not-equal? v1 v2 [message]) -> void?
  v1 : any
  v2 : any
  message : string? = ""
procedure
(check-pred pred v [message]) -> void?
  pred : (-> any any)
  v : any
  message : string? = ""
procedure
(check-= v1 v2 epsilon [message]) -> void?
  v1 : any
  v2 : any
  epsilon : number?
  message : string? = ""
procedure
(check-true v [message]) -> void?
  v : any
  message : string? = ""
(check-false v [message]) -> void?
  v : any
  message : string? = ""
(check-not-false v [message]) -> void?
  v : any
  message : string? = ""
procedure
(check-exn exn-predicate thunk [message]) -> void?
  exn-predicate : (or/c (-> any any/c) regexp?)
  thunk : (-> any)
  message : string? = ""
procedure
(check-not-exn thunk [message]) -> void?
  thunk : (-> any)
  message : string? = ""
procedure
(check-regexp-match regexp string) -> void?
  regexp : regexp?
  string : string?
syntax
(check-match v pattern)
(check-match v pattern pred)
procedure
(check op v1 v2 [message]) -> void?
  op : (-> any any any)
  v1 : any
  v2 : any
  message : string? = ""
procedure
(fail [message]) -> void?
  message : string? = ""
struct
(struct check-info (name value)
    #:extra-constructor-name make-check-info)
  name : symbol?
  value : any
procedure
(make-check-name name) -> check-info?
  name : string?
(make-check-params params) -> check-info?
  params : (listof any)
(make-check-location loc) -> check-info?
  loc : (list/c any (or/c number? #f) (or/c number? #f)
                    (or/c number? #f) (or/c number? #f))
(make-check-expression msg) -> check-info?
  msg : any
(make-check-message msg) -> check-info?
  msg : string?
(make-check-actual param) -> check-info?
  param : any
(make-check-expected param) -> check-info?
  param : any
procedure
(with-check-info* info thunk) -> any
  info : (listof check-info?)
  thunk : (-> any)
syntax
(with-check-info ((name val) ...) body ...)
syntax
(define-simple-check (name param ...) body ...)
syntax
(define-binary-check (name pred actual expected))
(define-binary-check (name actual expected) body ...)
syntax
(define-check (name param ...) body ...)
syntax
(fail-check)
(fail-check message-expr)
syntax
(test-begin expr ...)
syntax
(test-case name body ...+)
procedure
(test-case? obj) -> boolean?
  obj : any
procedure
(test-check name operator v1 v2) -> void?
  name : string?
  operator : (-> any/c any/c any/c)
  v1 : any/c
  v2 : any/c
(test-pred name pred v) -> void?
  name : string?
  pred : (-> any/c any/c)
  v : any/c
(test-equal? name v1 v2) -> (void?)
  name : string?
  v1 : any/c
  v2 : any/c
(test-eq? name v1 v2) -> void?
  name : string?
  v1 : any/c
  v2 : any/c
(test-eqv? name v1 v2) -> void?
  name : string?
  v1 : any/c
  v2 : any/c
(test-= name v1 v2 epsilon) -> void?
  name : string?
  v1 : real?
  v2 : real?
  epsilon : real?
(test-true name v) -> void?
  name : string?
  v : any/c
(test-false name v) -> void?
  name : string?
  v : any/c
(test-not-false name v) -> void?
  name : string?
  v : any/c
(test-exn name pred thunk) -> void?
  name : string?
  pred : (or/c (-> any any/c) regexp?)
  thunk : (-> any)
(test-not-exn name thunk) -> void?
  name : string?
  thunk : (-> any)
syntax
(test-suite name-expr maybe-before maybe-after test ...)
 
maybe-before = 
             | #:before before-thunk
                
 maybe-after = 
             | #:after after-thunk
 
  name-expr : string?
procedure
(make-test-suite  name                      
                  tests                     
                 [#:before before-thunk     
                  #:after after-thunk]) -> test-suite?
  name : string?
  tests : (listof (or/c test-case? test-suite?))
  before-thunk : (-> any) = void
  after-thunk : (-> any) = void
procedure
(test-suite? obj) -> boolean?
  obj : any
syntax
(define-test-suite name test ...)
syntax
(define/provide-test-suite name test ...)
syntax
(before before-expr expr1 expr2 ...)
syntax
(after expr-1 expr-2 ... after-expr)
syntax
(around before-expr expr-1 expr-2 ... after-expr)
syntax
(delay-test test1 test2 ...)
syntax
(require/expose module (id ...))
procedure
(dynamic-require/expose mod name) -> any
  mod : (or/c module-path?
              module-path-index?
              resolved-module-path?)
  name : symbol?
procedure
(run-tests test [verbosity]) -> natural-number/c
  test : (or/c test-case? test-suite?)
  verbosity : (symbols 'quiet 'normal 'verbose) = 'normal
procedure
(test/gui test ... [#:wait? wait?]) -> void?
  test : (or/c test-case? test-suite?)
  wait? : boolean? = #f
procedure
(make-gui-runner) -> (-> (or/c test-case? test-suite?) ... any)
procedure
(check-docs lib [#:skip skip]) -> any
  lib : symbol?
  skip : (or/c regexp?                         = #f
               symbol?
               (listof (or/c regexp? symbol?))
               (-> symbol? any)
               #f)
procedure
(test-log! result) -> void?
  result : any/c
procedure
(test-log [#:display? display? 
           #:exit? exit?])     
 -> (cons/c exact-nonnegative-integer?
            exact-nonnegative-integer?)
  display? : boolean? = #t
  exit? : boolean? = #t
parameter
(current-check-handler) -> (-> any/c any)
(current-check-handler handler) -> void?
  handler : (-> any/c any)
parameter
(current-check-around) -> (-> (-> any) any)
(current-check-around check) -> void?
  check : (-> (-> any) any)
parameter
(current-test-name) -> (or/c string? false/c)
(current-test-name name) -> void?
  name : (or/c string? false/c)
parameter
(current-test-case-around) -> (-> (-> any) any)
(current-test-case-around handler) -> void?
  handler : (-> (-> any) any)
procedure
(test-suite-test-case-around thunk) -> any
  thunk : (-> any)
procedure
(test-suite-check-around thunk) -> any/c
  thunk : (-> any/c)
struct
(struct exn:test exn:fail ()
    #:extra-constructor-name make-exn:test)
struct
(struct exn:test:check exn:test (stack)
    #:extra-constructor-name make-exn:test:check)
  stack : (listof check-info)
struct
(struct test-result (test-case-name)
    #:extra-constructor-name make-test-result)
  test-case-name : (or/c string #f)
struct
(struct test-failure test-result (result)
    #:extra-constructor-name make-test-failure)
  result : any
struct
(struct test-error test-result (result)
    #:extra-constructor-name make-test-error)
  result : exn
struct
(struct test-success test-result (result)
    #:extra-constructor-name make-test-success)
  result : any
procedure
(run-test-case name action) -> test-result
  name : (or/c string #f)
  action : (-> any)
procedure
(run-test test)
 -> (flat-murec-contract ([R (listof (or/c test-result? R))]) R)
  test : (or/c test-case? test-suite?)
procedure
(fold-test-results result-fn         
                   seed              
                   test              
                   #:run run         
                   #:fdown fdown     
                   #:fup fup)    -> 'a
  result-fn : ('b 'c ... 'a . -> . 'a)
  seed : 'a
  test : (or/c test-case? test-suite?)
  run : (string (() -> any) . -> . 'b 'c ...)
  fdown : (string 'a . -> . 'a)
  fup : (string 'a . -> . 'a)
procedure
(foldts-test-suite fdown fup fhere seed test) -> 'a
  fdown : (test-suite string thunk thunk 'a -> 'a)
  fup : (test-suite string thunk thunk 'a 'a -> 'a)
  fhere : (test-case string thunk 'a -> 'a)
  seed : 'a
  test : (or/c test-case? test-suite?)
