10459
((3) 0 () 26 ((q lib "test-engine/test-engine.rkt") (q 1645 . 5) (q 680 . 9) (q 4926 . 5) (q 3747 . 6) (q 4794 . 5) (q 2621 . 13) (q 6175 . 4) (q 5403 . 9) (q 3158 . 11) (q lib "test-engine/racket-tests.rkt") (q 3618 . 5) (q 5052 . 9) (q 6286 . 4) (q 5790 . 11) (q 4035 . 9) (q 2125 . 11) (q 4651 . 6) (q lib "test-engine/test-markup.rkt") (q 5732 . 3) (q 1776 . 9) (q 4376 . 5) (q 3905 . 5) (q 1475 . 4) (q 1585 . 3) (q 4522 . 5)) () (h ! (equal) ((c def c (c (? . 0) q struct:violated-signature)) c (? . 8)) ((c def c (c (? . 0) q unexpected-error-srcloc)) c (? . 1)) ((c def c (c (? . 0) q struct:test-object)) c (? . 2)) ((c def c (c (? . 0) q struct:signature-violation)) c (? . 14)) ((c def c (c (? . 0) q unsatisfied-error-name)) c (? . 3)) ((c def c (c (? . 0) q unexpected-error?)) c (? . 1)) ((c def c (c (? . 0) q unexpected-error/member-expected)) c (? . 9)) ((c def c (c (? . 0) q expected-error-srcloc)) c (? . 21)) ((c def c (c (? . 0) q unsatisfied-error/markup?)) c (? . 12)) ((c def c (c (? . 0) q test-object-tests)) c (? . 2)) ((c def c (c (? . 0) q satisfied-failed)) c (? . 5)) ((c def c (c (? . 0) q unsatisfied-error-exn)) c (? . 3)) ((c def c (c (? . 18) q get-rewritten-error-message)) q (7042 . 3)) ((c def c (c (? . 0) q struct:unexpected-error)) c (? . 1)) ((c def c (c (? . 0) q not-mem?)) c (? . 25)) ((c def c (c (? . 0) q not-within-range)) c (? . 4)) ((c def c (c (? . 0) q unexpected-error/range-min)) c (? . 6)) ((c def c (c (? . 0) q not-within-actual)) c (? . 4)) ((c def c (c (? . 0) q struct:satisfied-failed)) c (? . 5)) ((c def c (c (? . 0) q unequal)) c (? . 11)) ((c def c (c (? . 0) q unexpected-error/range-max)) c (? . 6)) ((c def c (c (? . 0) q not-within?)) c (? . 4)) ((c def c (c (? . 0) q unexpected-error/check-*-form-name)) c (? . 16)) ((c def c (c (? . 0) q unexpected-error/range-exn)) c (? . 6)) ((c def c (c (? . 0) q incorrect-error)) c (? . 22)) ((c def c (c (? . 0) q property-fail-srcloc)) c (? . 7)) ((c def c (c (? . 0) q struct:not-within)) c (? . 4)) ((c def c (c (? . 0) q test-object?)) c (? . 2)) ((c def c (c (? . 0) q incorrect-error/markup?)) c (? . 15)) ((c def c (c (? . 0) q property-error-exn)) c (? . 13)) ((c def c (c (? . 0) q struct:property-fail)) c (? . 7)) ((c def c (c (? . 0) q violated-signature-srcloc)) c (? . 8)) ((c form c (c (? . 10) q check-member-of)) q (298 . 2)) ((c def c (c (? . 0) q unexpected-error/member-set)) c (? . 9)) ((c def c (c (? . 0) q current-test-object)) q (1088 . 2)) ((c form c (c (? . 10) q check-error)) q (213 . 5)) ((c def c (c (? . 0) q unequal?)) c (? . 11)) ((c def c (c (? . 0) q unsatisfied-error/markup-exn)) c (? . 12)) ((c def c (c (? . 0) q not-range)) c (? . 17)) ((c def c (c (? . 0) q property-error-srcloc)) c (? . 13)) ((c def c (c (? . 0) q signature-violation?)) c (? . 14)) ((c def c (c (? . 0) q incorrect-error/markup)) c (? . 15)) ((c def c (c (? . 0) q signature-violation-message)) c (? . 14)) ((c def c (c (? . 0) q unexpected-error/check-*)) c (? . 16)) ((c form c (c (? . 10) q check-within)) q (128 . 4)) ((c def c (c (? . 0) q not-range-actual)) c (? . 17)) ((c def c (c (? . 0) q property-fail)) c (? . 7)) ((c form c (c (? . 10) q check-satisfied)) q (86 . 2)) ((c def c (c (? . 0) q run-tests!)) q (1434 . 2)) ((c def c (c (? . 0) q signature-violation-blame-srcloc)) c (? . 14)) ((c def c (c (? . 0) q signature-got-value)) c (? . 19)) ((c def c (c (? . 18) q display-test-results-parameter)) q (6554 . 4)) ((c def c (c (? . 0) q struct:signature-got)) c (? . 19)) ((c def c (c (? . 0) q unexpected-error/markup-exn)) c (? . 20)) ((c def c (c (? . 0) q signature-violation-srcloc)) c (? . 14)) ((c def c (c (? . 0) q violated-signature-signature)) c (? . 8)) ((c def c (c (? . 0) q unexpected-error/markup?)) c (? . 20)) ((c def c (c (? . 0) q unexpected-error/check-*-expected)) c (? . 16)) ((c def c (c (? . 0) q unsatisfied-error?)) c (? . 3)) ((c def c (c (? . 0) q failed-check?)) c (? . 23)) ((c def c (c (? . 0) q expected-error)) c (? . 21)) ((c def c (c (? . 0) q struct:unexpected-error/check-*)) c (? . 16)) ((c def c (c (? . 0) q unexpected-error/markup-srcloc)) c (? . 20)) ((c def c (c (? . 0) q unequal-actual)) c (? . 11)) ((c def c (c (? . 0) q struct:not-range)) c (? . 17)) ((c def c (c (? . 0) q add-signature-violation!)) q (1338 . 3)) ((c def c (c (? . 0) q struct:unequal)) c (? . 11)) ((c def c (c (? . 18) q render-value-parameter)) q (6383 . 4)) ((c def c (c (? . 0) q satisfied-failed-actual)) c (? . 5)) ((c def c (c (? . 0) q unexpected-error)) c (? . 1)) ((c def c (c (? . 0) q incorrect-error/markup-expected)) c (? . 15)) ((c def c (c (? . 0) q struct:unexpected-error/range)) c (? . 6)) ((c def c (c (? . 0) q not-range-min)) c (? . 17)) ((c def c (c (? . 0) q unequal-expected)) c (? . 11)) ((c def c (c (? . 0) q fail-reason?)) c (? . 24)) ((c def c (c (? . 0) q struct:incorrect-error)) c (? . 22)) ((c def c (c (? . 0) q struct:expected-error)) c (? . 21)) ((c def c (c (? . 0) q unexpected-error/range-srcloc)) c (? . 6)) ((c def c (c (? . 0) q violated-signature-obj)) c (? . 8)) ((c def c (c (? . 0) q struct:property-error)) c (? . 13)) ((c def c (c (? . 0) q expected-error-message)) c (? . 21)) ((c def c (c (? . 0) q unsatisfied-error)) c (? . 3)) ((c def c (c (? . 0) q unexpected-error/range-error-markup)) c (? . 6)) ((c def c (c (? . 0) q unexpected-error/member-exn)) c (? . 9)) ((c def c (c (? . 0) q expected-error-value)) c (? . 21)) ((c form c (c (? . 10) q check-random)) q (43 . 2)) ((c def c (c (? . 0) q struct:unexpected-error/member)) c (? . 9)) ((c def c (c (? . 0) q incorrect-error/markup-error-markup)) c (? . 15)) ((c def c (c (? . 0) q test-object-failed-checks)) c (? . 2)) ((c def c (c (? . 0) q unexpected-error/member-srcloc)) c (? . 9)) ((c def c (c (? . 0) q expected-error?)) c (? . 21)) ((c def c (c (? . 0) q violated-signature-blame-srcloc)) c (? . 8)) ((c def c (c (? . 0) q incorrect-error-expected)) c (? . 22)) ((c def c (c (? . 0) q struct:unsatisfied-error/markup)) c (? . 12)) ((c def c (c (? . 0) q incorrect-error/markup-exn)) c (? . 15)) ((c def c (c (? . 0) q not-range-max)) c (? . 17)) ((c def c (c (? . 0) q property-fail?)) c (? . 7)) ((c def c (c (? . 0) q failed-check-reason)) c (? . 23)) ((c def c (c (? . 0) q satisfied-failed?)) c (? . 5)) ((c def c (c (? . 0) q struct:failed-check)) c (? . 23)) ((c def c (c (? . 0) q signature-violation-obj)) c (? . 14)) ((c form c (c (? . 10) q check-expect)) q (0 . 2)) ((c def c (c (? . 0) q unexpected-error-exn)) c (? . 1)) ((c def c (c (? . 0) q satisfied-failed-srcloc)) c (? . 5)) ((c def c (c (? . 0) q not-within)) c (? . 4)) ((c def c (c (? . 0) q property-error)) c (? . 13)) ((c def c (c (? . 0) q fail-reason-srcloc)) c (? . 24)) ((c def c (c (? . 0) q violated-signature)) c (? . 8)) ((c def c (c (? . 0) q unexpected-error/range-expected)) c (? . 6)) ((c def c (c (? . 0) q property-error?)) c (? . 13)) ((c def c (c (? . 0) q incorrect-error-srcloc)) c (? . 22)) ((c def c (c (? . 0) q unexpected-error/check-*-error-markup)) c (? . 16)) ((c def c (c (? . 0) q failed-check-srcloc?)) c (? . 23)) ((c def c (c (? . 0) q not-range-srcloc)) c (? . 17)) ((c def c (c (? . 0) q signature-violation-signature)) c (? . 14)) ((c def c (c (? . 0) q failed-check)) c (? . 23)) ((c def c (c (? . 0) q incorrect-error/markup-srcloc)) c (? . 15)) ((c def c (c (? . 0) q unexpected-error/check-*-srcloc)) c (? . 16)) ((c def c (c (? . 18) q display-test-results!)) q (6737 . 3)) ((c def c (c (? . 0) q add-failed-check!)) q (1250 . 3)) ((c def c (c (? . 0) q struct:not-mem)) c (? . 25)) ((c def c (c (? . 0) q unsatisfied-error/markup-name)) c (? . 12)) ((c def c (c (? . 0) q unexpected-error/check-*-exn)) c (? . 16)) ((c def c (c (? . 0) q struct:unexpected-error/markup)) c (? . 20)) ((c form c (c (? . 10) q check-range)) q (349 . 6)) ((c def c (c (? . 0) q unequal-srcloc)) c (? . 11)) ((c def c (c (? . 0) q struct:fail-reason)) c (? . 24)) ((c def c (c (? . 0) q incorrect-error-exn)) c (? . 22)) ((c def c (c (? . 0) q empty-test-object)) q (1040 . 2)) ((c def c (c (? . 0) q violated-signature?)) c (? . 8)) ((c def c (c (? . 0) q struct:unsatisfied-error)) c (? . 3)) ((c def c (c (? . 0) q signature-got?)) c (? . 19)) ((c def c (c (? . 0) q initialize-test-object!)) q (1138 . 2)) ((c form c (c (? . 10) q test)) q (470 . 2)) ((c def c (c (? . 0) q unexpected-error/member-error-markup)) c (? . 9)) ((c def c (c (? . 0) q unexpected-error/range?)) c (? . 6)) ((c def c (c (? . 0) q not-within-expected)) c (? . 4)) ((c def c (c (? . 0) q test-object-successful-tests)) c (? . 2)) ((c def c (c (? . 0) q test-object)) c (? . 2)) ((c def c (c (? . 0) q not-range?)) c (? . 17)) ((c def c (c (? . 0) q test-object-signature-violations)) c (? . 2)) ((c def c (c (? . 0) q not-mem-set)) c (? . 25)) ((c def c (c (? . 10) q test-silence)) q (484 . 4)) ((c def c (c (? . 0) q unsatisfied-error-srcloc)) c (? . 3)) ((c def c (c (? . 0) q unexpected-error/member)) c (? . 9)) ((c def c (c (? . 0) q signature-violation)) c (? . 14)) ((c def c (c (? . 0) q unexpected-error/range)) c (? . 6)) ((c def c (c (? . 0) q signature-got)) c (? . 19)) ((c def c (c (? . 0) q unsatisfied-error/markup-srcloc)) c (? . 12)) ((c def c (c (? . 0) q unsatisfied-error/markup)) c (? . 12)) ((c def c (c (? . 0) q unexpected-error/check-*?)) c (? . 16)) ((c def c (c (? . 10) q test-execute)) q (582 . 4)) ((c def c (c (? . 0) q add-test!)) q (1183 . 3)) ((c def c (c (? . 0) q unexpected-error/markup)) c (? . 20)) ((c def c (c (? . 0) q incorrect-error?)) c (? . 22)) ((c def c (c (? . 0) q unexpected-error/markup-expected)) c (? . 20)) ((c def c (c (? . 0) q property-fail-result)) c (? . 7)) ((c def c (c (? . 0) q unsatisfied-error/markup-error-markup)) c (? . 12)) ((c def c (c (? . 0) q satisfied-failed-name)) c (? . 5)) ((c def c (c (? . 18) q test-object->markup)) q (7117 . 3)) ((c def c (c (? . 0) q not-within-srcloc)) c (? . 4)) ((c def c (c (? . 0) q not-mem)) c (? . 25)) ((c def c (c (? . 18) q get-rewritten-error-message-parameter)) q (6811 . 6)) ((c def c (c (? . 0) q fail-reason)) c (? . 24)) ((c def c (c (? . 0) q not-mem-actual)) c (? . 25)) ((c def c (c (? . 0) q unexpected-error/member?)) c (? . 9)) ((c def c (c (? . 0) q not-mem-srcloc)) c (? . 25)) ((c def c (c (? . 0) q unexpected-error-expected)) c (? . 1)) ((c def c (c (? . 0) q struct:incorrect-error/markup)) c (? . 15)) ((c def c (c (? . 0) q unexpected-error/markup-error-markup)) c (? . 20))))
syntax
(check-expect expr expected-expr)
syntax
(check-random expr expected-expr)
syntax
(check-satisfied expr property?)
syntax
(check-within expr expected-expr delta-expr)
 
  delta-expr : number?
syntax
(check-error expr)
(check-error expr msg-expr)
 
  msg-expr : string?
syntax
(check-member-of expr expected-expr ...)
syntax
(check-range expr min-expr max-expr)
 
  expr : number?
  min-expr : number?
  max-expr : number?
syntax
(test)
parameter
(test-silence) -> boolean?
(test-silence silence?) -> void?
  silence? : any/c
parameter
(test-execute) -> boolean?
(test-execute execute?) -> void?
  execute? : any/c
struct
(struct test-object (tests
                     successful-tests
                     failed-checks
                     signature-violations))
  tests : (listof (-> boolean?))
  successful-tests : (listof (-> boolean?))
  failed-checks : (listof failed-check?)
  signature-violations : (listof signature-violation?)
procedure
(empty-test-object) -> test-object?
procedure
(current-test-object) -> test-object?
procedure
(initialize-test-object!) -> any
procedure
(add-test! thunk) -> any
  thunk : (-> boolean?)
procedure
(add-failed-check! failed-check) -> any
  failed-check : failed-check?
procedure
(add-signature-violation! violation) -> any
  violation : signature-violation?
procedure
(run-tests!) -> test-object?
struct
(struct failed-check (reason srcloc?))
  reason : fail-reason?
  srcloc? : (or/c #f srcloc?)
struct
(struct fail-reason (srcloc))
  srcloc : srcloc?
struct
(struct unexpected-error fail-reason (srcloc expected exn))
  srcloc : srcloc?
  expected : any/c
  exn : exn?
struct
(struct unexpected-error/markup unexpected-error (srcloc
                                                  expected
                                                  exn
                                                  error-markup))
  srcloc : srcloc?
  expected : any/c
  exn : exn?
  error-markup : markup?
struct
(struct unexpected-error/check-* unexpected-error/markup (srcloc
                                                          expected
                                                          exn
                                                          error-markup
                                                          form-name))
  srcloc : srcloc?
  expected : any/c
  exn : exn?
  error-markup : markup?
  form-name : (or/c symbol? string?)
struct
(struct unexpected-error/range unexpected-error/markup (srcloc
                                                        expected
                                                        exn
                                                        error-markup
                                                        min
                                                        max))
  srcloc : srcloc?
  expected : any/c
  exn : exn?
  error-markup : markup?
  min : real?
  max : real?
struct
(struct unexpected-error/member unexpected-error/markup (srcloc
                                                         expected
                                                         exn
                                                         error-markup
                                                         set))
  srcloc : srcloc?
  expected : any/c
  exn : exn?
  error-markup : markup?
  set : any/c
struct
(struct unequal fail-reason (srcloc actual expected))
  srcloc : srcloc?
  actual : any/c
  expected : any/c
struct
(struct not-within fail-reason (srcloc actual expected range))
  srcloc : srcloc?
  actual : any/c
  expected : any/c
  range : real?
struct
(struct incorrect-error fail-reason (srcloc expected exn))
  srcloc : srcloc?
  expected : any/c
  exn : exn?
struct
(struct incorrect-error/markup incorrect-error (srcloc
                                                expected
                                                exn
                                                error-markup))
  srcloc : srcloc?
  expected : any/c
  exn : exn?
  error-markup : markup?
struct
(struct expected-error fail-reason (srcloc message value))
  srcloc : srcloc?
  message : (or/c #f string?)
  value : any/c
struct
(struct not-mem fail-reason (srcloc actual set))
  srcloc : srcloc?
  actual : any/c
  set : (listof any/c)
struct
(struct not-range fail-reason (srcloc actual min max))
  srcloc : srcloc?
  actual : real?
  min : real?
  max : real?
struct
(struct satisfied-failed fail-reason (srcloc actual name))
  srcloc : srcloc?
  actual : any/c
  name : string?
struct
(struct unsatisfied-error fail-reason (srcloc name exn))
  srcloc : srcloc?
  name : string?
  exn : exn?
struct
(struct unsatisfied-error/markup unsatisfied-error (srcloc
                                                    name
                                                    exn
                                                    error-markup))
  srcloc : srcloc?
  name : string?
  exn : exn?
  error-markup : markup?
struct
(struct violated-signature fail-reason (srcloc
                                        obj
                                        signature
                                        blame-srcloc))
  srcloc : srcloc?
  obj : any/c
  signature : signature?
  blame-srcloc : (or/c #f srcloc?)
struct
(struct signature-got (value))
  value : any/c
struct
(struct signature-violation (obj
                             signature
                             message
                             srcloc
                             blame-srcloc))
  obj : any/c
  signature : signature?
  message : (or/c string? signature-got?)
  srcloc : (or/c #f srcloc?)
  blame-srcloc : (or/c #f srcloc?)
struct
(struct property-fail fail-reason (srcloc result))
  srcloc : srcloc?
  result : check-result?
struct
(struct property-error fail-reason (srcloc exn))
  srcloc : srcloc?
  exn : exn?
parameter
(render-value-parameter) -> (any/c . -> . string?)
(render-value-parameter render-value-proc) -> void?
  render-value-proc : (any/c . -> . string?)
parameter
(display-test-results-parameter) -> (markup? . -> . any)
(display-test-results-parameter display-test-proc) -> void?
  display-test-proc : (markup? . -> . any)
procedure
(display-test-results! markup) -> any
  markup : markup?
parameter
(get-rewritten-error-message-parameter)
 -> (exn? . -> . string?)
(get-rewritten-error-message-parameter get-rewritten-error-message-proc)
 -> void?
  get-rewritten-error-message-proc : (exn? . -> . string?)
procedure
(get-rewritten-error-message exn) -> string?
  exn : exn?
procedure
(test-object->markup test-object) -> markup?
  test-object : test-object?
