6881
((3) 0 () 17 ((q lib "rackunit/main.rkt") (q 2750 . 16) (q 2330 . 6) (q 4054 . 43) (q 8889 . 4) (q 9013 . 4) (q 8749 . 4) (q 8609 . 4) (q 9133 . 4) (q 2665 . 4) (q 8521 . 3) (q 1218 . 10) (q 2485 . 4) (q 0 . 25) (q 2567 . 4) (q lib "rackunit/log.rkt") (q lib "rackunit/gui.rkt")) () (h ! (equal) ((c def c (c (? . 0) q make-check-actual)) c (? . 1)) ((c def c (c (? . 0) q test-failure-result)) c (? . 4)) ((c def c (c (? . 0) q current-check-handler)) q (7811 . 4)) ((c def c (c (? . 0) q current-test-case-around)) q (8214 . 4)) ((c def c (c (? . 16) q test/gui)) q (6683 . 4)) ((c def c (c (? . 0) q dynamic-require/expose)) q (6163 . 6)) ((c def c (c (? . 0) q check-info-name)) c (? . 2)) ((c form c (c (? . 0) q check-match)) q (2017 . 3)) ((c def c (c (? . 0) q make-check-expected)) c (? . 1)) ((c def c (c (? . 0) q test-check)) c (? . 3)) ((c def c (c (? . 0) q check-info-value)) c (? . 2)) ((c def c (c (? . 0) q check-not-false)) c (? . 11)) ((c def c (c (? . 0) q struct:test-error)) c (? . 5)) ((c form c (c (? . 0) q before)) q (5921 . 2)) ((c def c (c (? . 0) q test-true)) c (? . 3)) ((c def c (c (? . 0) q test-failure?)) c (? . 4)) ((c def c (c (? . 0) q make-check-expression)) c (? . 1)) ((c def c (c (? . 0) q check)) q (2082 . 6)) ((c def c (c (? . 0) q test-equal?)) c (? . 3)) ((c def c (c (? . 0) q struct:exn:test)) c (? . 10)) ((c def c (c (? . 0) q check-info)) c (? . 2)) ((c def c (c (? . 0) q test-result?)) c (? . 6)) ((c def c (c (? . 0) q fold-test-results)) q (9516 . 13)) ((c def c (c (? . 0) q test-not-false)) c (? . 3)) ((c def c (c (? . 0) q dynamic-info-proc)) c (? . 9)) ((c def c (c (? . 0) q make-test-failure)) c (? . 4)) ((c def c (c (? . 0) q test-suite-check-around)) q (8441 . 3)) ((c def c (c (? . 0) q check-not-eq?)) c (? . 13)) ((c def c (c (? . 0) q make-test-error)) c (? . 5)) ((c def c (c (? . 0) q check-transformer-impl-name)) q (6417 . 3)) ((c def c (c (? . 0) q check-within)) q (1053 . 6)) ((c form c (c (? . 0) q define-simple-check)) q (3626 . 2)) ((c form c (c (? . 0) q test-case)) q (3957 . 2)) ((c def c (c (? . 0) q current-check-around)) q (7944 . 4)) ((c def c (c (? . 0) q exn:test:check)) c (? . 7)) ((c def c (c (? . 0) q test-suite?)) q (5764 . 3)) ((c def c (c (? . 0) q struct:test-result)) c (? . 6)) ((c def c (c (? . 0) q fail-check)) q (3859 . 3)) ((c def c (c (? . 0) q test-pred)) c (? . 3)) ((c form c (c (? . 0) q test-suite)) q (5146 . 10)) ((c def c (c (? . 0) q make-test-success)) c (? . 8)) ((c def c (c (? . 0) q exn:test:check?)) c (? . 7)) ((c form c (c (? . 0) q around)) q (6019 . 2)) ((c def c (c (? . 0) q test-success)) c (? . 8)) ((c def c (c (? . 0) q string-info)) c (? . 12)) ((c def c (c (? . 0) q dynamic-info)) c (? . 9)) ((c def c (c (? . 0) q make-exn:test)) c (? . 10)) ((c def c (c (? . 0) q nested-info)) c (? . 14)) ((c def c (c (? . 0) q test-failure)) c (? . 4)) ((c form c (c (? . 0) q define/provide-test-suite)) q (5869 . 2)) ((c def c (c (? . 0) q check-exn)) q (1525 . 5)) ((c form c (c (? . 0) q test-begin)) q (3926 . 2)) ((c def c (c (? . 0) q check-false)) c (? . 11)) ((c def c (c (? . 0) q struct:string-info)) c (? . 12)) ((c form c (c (? . 0) q after)) q (5971 . 2)) ((c form c (c (? . 0) q define-test-suite)) q (5825 . 2)) ((c def c (c (? . 0) q check-eqv?)) c (? . 13)) ((c def c (c (? . 0) q test-eqv?)) c (? . 3)) ((c def c (c (? . 0) q struct:test-failure)) c (? . 4)) ((c def c (c (? . 15) q test-log-enabled?)) q (7477 . 5)) ((c def c (c (? . 0) q test-error?)) c (? . 5)) ((q def ((lib "rackunit/text-ui.rkt") run-tests)) q (6508 . 4)) ((c def c (c (? . 0) q run-test-case)) q (9257 . 4)) ((c def c (c (? . 0) q test-error-result)) c (? . 5)) ((c def c (c (? . 0) q struct:nested-info)) c (? . 14)) ((c def c (c (? . 0) q make-check-name)) c (? . 1)) ((c def c (c (? . 0) q check-regexp-match)) q (1838 . 4)) ((c def c (c (? . 0) q current-test-name)) q (8079 . 4)) ((c def c (c (? . 0) q fail)) q (2248 . 3)) ((c def c (c (? . 0) q struct:test-success)) c (? . 8)) ((c def c (c (? . 0) q test-result)) c (? . 6)) ((c def c (c (? . 0) q run-test)) q (9371 . 4)) ((c def c (c (? . 0) q struct:dynamic-info)) c (? . 9)) ((c def c (c (? . 0) q dynamic-info?)) c (? . 9)) ((c def c (c (? . 0) q test-false)) c (? . 3)) ((c def c (c (? . 0) q exn:test?)) c (? . 10)) ((c def c (c (? . 0) q make-check-params)) c (? . 1)) ((c form c (c (? . 0) q delay-test)) q (6081 . 2)) ((c def c (c (? . 0) q check-not-equal?)) c (? . 13)) ((c def c (c (? . 0) q struct:exn:test:check)) c (? . 7)) ((c def c (c (? . 0) q make-check-location)) c (? . 1)) ((c def c (c (? . 0) q nested-info?)) c (? . 14)) ((c def c (c (? . 0) q make-check-message)) c (? . 1)) ((c form c (c (? . 0) q require/expose)) q (6120 . 2)) ((c def c (c (? . 0) q test-exn)) c (? . 3)) ((c def c (c (? . 0) q test-=)) c (? . 3)) ((c def c (c (? . 0) q check-equal?)) c (? . 13)) ((c def c (c (? . 0) q nested-info-values)) c (? . 14)) ((c def c (c (? . 0) q check-pred)) q (744 . 5)) ((c def c (c (? . 0) q check-not-exn)) q (1716 . 4)) ((c def c (c (? . 0) q test-suite-test-case-around)) q (8361 . 3)) ((c def c (c (? . 0) q check-info?)) c (? . 2)) ((c def c (c (? . 0) q test-eq?)) c (? . 3)) ((c form c (c (? . 0) q define-binary-check)) q (3686 . 3)) ((c def c (c (? . 15) q test-log)) q (7249 . 7)) ((c def c (c (? . 0) q check-not-eqv?)) c (? . 13)) ((c def c (c (? . 0) q with-default-check-info*)) q (3508 . 4)) ((c def c (c (? . 0) q exn:test:check-stack)) c (? . 7)) ((c def c (c (? . 0) q struct:check-info)) c (? . 2)) ((c form c (c (? . 0) q with-check-info)) q (3452 . 2)) ((c def c (c (? . 0) q string-info?)) c (? . 12)) ((c def c (c (? . 0) q test-error)) c (? . 5)) ((c def c (c (? . 15) q current-test-invocation-directory)) q (7593 . 6)) ((c def c (c (? . 0) q make-test-suite)) q (5385 . 9)) ((q def ((lib "rackunit/docs-complete.rkt") check-docs)) q (6900 . 8)) ((c def c (c (? . 0) q foldts-test-suite)) q (10033 . 7)) ((c def c (c (? . 0) q test-success?)) c (? . 8)) ((c def c (c (? . 0) q exn:test)) c (? . 10)) ((c def c (c (? . 0) q make-check-info)) c (? . 2)) ((c def c (c (? . 16) q make-gui-runner)) q (6819 . 2)) ((c def c (c (? . 0) q check-eq?)) c (? . 13)) ((c def c (c (? . 0) q test-success-result)) c (? . 8)) ((c def c (c (? . 0) q make-test-result)) c (? . 6)) ((c def c (c (? . 0) q make-exn:test:check)) c (? . 7)) ((c def c (c (? . 0) q string-info-value)) c (? . 12)) ((c form c (c (? . 0) q define-check)) q (3806 . 2)) ((c def c (c (? . 15) q test-log!)) q (7187 . 3)) ((c def c (c (? . 0) q check-transformer?)) q (6353 . 3)) ((c def c (c (? . 0) q with-check-info*)) q (3342 . 4)) ((c def c (c (? . 0) q test-not-exn)) c (? . 3)) ((c def c (c (? . 0) q test-case?)) q (3994 . 3)) ((c def c (c (? . 0) q check-=)) q (889 . 6)) ((c def c (c (? . 0) q check-true)) c (? . 11)) ((c def c (c (? . 0) q test-result-test-case-name)) c (? . 6))))
procedure
(check-eq? v1 v2 [message]) -> void?
  v1 : any/c
  v2 : any/c
  message : (or/c string? #f) = #f
(check-not-eq? v1 v2 [message]) -> void?
  v1 : any/c
  v2 : any/c
  message : (or/c string? #f) = #f
(check-eqv? v1 v2 [message]) -> void?
  v1 : any/c
  v2 : any/c
  message : (or/c string? #f) = #f
(check-not-eqv? v1 v2 [message]) -> void?
  v1 : any/c
  v2 : any/c
  message : (or/c string? #f) = #f
(check-equal? v1 v2 [message]) -> void?
  v1 : any/c
  v2 : any/c
  message : (or/c string? #f) = #f
(check-not-equal? v1 v2 [message]) -> void?
  v1 : any/c
  v2 : any/c
  message : (or/c string? #f) = #f
procedure
(check-pred pred v [message]) -> void?
  pred : (-> any/c any/c)
  v : any/c
  message : (or/c string? #f) = #f
procedure
(check-= v1 v2 epsilon [message]) -> void?
  v1 : number?
  v2 : number?
  epsilon : number?
  message : (or/c string? #f) = #f
procedure
(check-within v1 v2 epsilon [message]) -> void?
  v1 : any/c
  v2 : any/c
  epsilon : number?
  message : (or/c string? #f) = #f
procedure
(check-true v [message]) -> void?
  v : any/c
  message : (or/c string? #f) = #f
(check-false v [message]) -> void?
  v : any/c
  message : (or/c string? #f) = #f
(check-not-false v [message]) -> void?
  v : any/c
  message : (or/c string? #f) = #f
procedure
(check-exn exn-predicate thunk [message]) -> void?
  exn-predicate : (or/c (-> any/c any/c) regexp?)
  thunk : (-> any)
  message : (or/c string? #f) = #f
procedure
(check-not-exn thunk [message]) -> void?
  thunk : (-> any)
  message : (or/c string? #f) = #f
procedure
(check-regexp-match regexp string) -> void?
  regexp : (or/c regexp? byte-regexp? string? bytes?)
  string : (or/c string? bytes? path? input-port?)
syntax
(check-match v pattern)
(check-match v pattern pred)
procedure
(check op v1 v2 [message]) -> void?
  op : (-> any/c any/c any/c)
  v1 : any/c
  v2 : any/c
  message : (or/c string? #f) = #f
procedure
(fail [message]) -> void?
  message : (or/c string? #f) = #f
struct
(struct check-info (name value)
    #:extra-constructor-name make-check-info
    #:transparent)
  name : symbol?
  value : any/c
struct
(struct string-info (value)
    #:transparent)
  value : string?
struct
(struct nested-info (values)
    #:transparent)
  values : (listof check-info?)
struct
(struct dynamic-info (proc)
    #:transparent)
  proc : (-> any/c)
procedure
(make-check-name name) -> check-info?
  name : string?
(make-check-params params) -> check-info?
  params : (listof any/c)
(make-check-location loc) -> check-info?
  loc : (list/c any/c (or/c number? #f) (or/c number? #f)
                    (or/c number? #f) (or/c number? #f))
(make-check-expression msg) -> check-info?
  msg : any/c
(make-check-message msg) -> check-info?
  msg : string?
(make-check-actual param) -> check-info?
  param : any/c
(make-check-expected param) -> check-info?
  param : any/c
procedure
(with-check-info* info thunk) -> any
  info : (listof check-info?)
  thunk : (-> any)
syntax
(with-check-info ((name val) ...) body ...)
procedure
(with-default-check-info* info thunk) -> any
  info : (listof check-info?)
  thunk : (-> any)
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 ...)
procedure
(fail-check message) -> void?
  message : string?
syntax
(test-begin expr ...)
syntax
(test-case name body ...+)
procedure
(test-case? obj) -> boolean?
  obj : any/c
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/c 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/c
syntax
(define-test-suite name test ...)
syntax
(define/provide-test-suite name test ...)
syntax
(before before-expr expr-1 expr-2 ...)
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
(check-transformer? v) -> boolean?
  v : any/c
procedure
(check-transformer-impl-name ct) -> identifier?
  ct : check-transformer?
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 : module-path?
  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? : any/c = #f
  exit? : any/c = #f
parameter
(test-log-enabled?) -> boolean?
(test-log-enabled? enabled?) -> void?
  enabled? : any/c
 = #t
parameter
(current-test-invocation-directory) -> (or/c #f path-string?)
(current-test-invocation-directory test-invocation-directory)
 -> void?
  test-invocation-directory : (or/c #f path-string?)
 = #f
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?)
