7231
((3) 0 () 20 ((q lib "test-engine/test-engine.rkt") (q 3302 . 4) (q lib "test-engine/test-markup.rkt") (q 1431 . 3) (q 2185 . 5) (q 1909 . 5) (q 1751 . 6) (q 3191 . 4) (q lib "test-engine/racket-tests.rkt") (q 2457 . 5) (q 1622 . 5) (q 2314 . 6) (q 2589 . 5) (q 680 . 5) (q 1321 . 4) (q 1491 . 5) (q 2954 . 7) (q 2896 . 3) (q 2715 . 6) (q 2039 . 5)) () (h ! (equal) ((c def c (c (? . 0) q property-error)) c (? . 1)) ((c def c (c (? . 0) q run-tests!)) q (1280 . 2)) ((c def c (c (? . 0) q incorrect-error-exn)) c (? . 5)) ((c def c (c (? . 2) q test-object->markup)) q (4158 . 3)) ((c def c (c (? . 0) q property-error-exn)) c (? . 1)) ((c def c (c (? . 0) q unequal)) c (? . 10)) ((c def c (c (? . 0) q satisfied-failed-name)) c (? . 9)) ((c def c (c (? . 0) q fail-reason-srcloc)) c (? . 3)) ((c def c (c (? . 2) q get-rewritten-error-message-parameter)) q (3852 . 6)) ((c def c (c (? . 0) q not-within)) c (? . 6)) ((c def c (c (? . 0) q fail-reason)) c (? . 3)) ((c def c (c (? . 0) q not-mem-srcloc)) c (? . 4)) ((c def c (c (? . 0) q current-test-object)) q (939 . 2)) ((c def c (c (? . 0) q signature-got-value)) c (? . 17)) ((c def c (c (? . 0) q not-mem)) c (? . 4)) ((c def c (c (? . 0) q incorrect-error?)) c (? . 5)) ((c form c (c (? . 8) q check-range)) q (349 . 6)) ((c def c (c (? . 0) q property-fail-srcloc)) c (? . 7)) ((c def c (c (? . 0) q failed-check)) c (? . 14)) ((c def c (c (? . 0) q not-within-srcloc)) c (? . 6)) ((c def c (c (? . 0) q property-fail?)) c (? . 7)) ((c def c (c (? . 0) q signature-violation-obj)) c (? . 16)) ((c form c (c (? . 8) q check-error)) q (213 . 5)) ((c def c (c (? . 2) q get-rewritten-error-message)) q (4083 . 3)) ((c def c (c (? . 0) q unsatisfied-error-srcloc)) c (? . 12)) ((c def c (c (? . 0) q not-mem?)) c (? . 4)) ((c def c (c (? . 0) q test-object-tests)) c (? . 13)) ((c def c (c (? . 0) q struct:satisfied-failed)) c (? . 9)) ((c def c (c (? . 0) q unequal-actual)) c (? . 10)) ((c def c (c (? . 0) q satisfied-failed?)) c (? . 9)) ((c form c (c (? . 8) q check-within)) q (128 . 4)) ((c def c (c (? . 0) q incorrect-error-expected)) c (? . 5)) ((c def c (c (? . 0) q not-range-actual)) c (? . 11)) ((c def c (c (? . 0) q not-range?)) c (? . 11)) ((c def c (c (? . 0) q struct:unsatisfied-error)) c (? . 12)) ((c def c (c (? . 0) q satisfied-failed-actual)) c (? . 9)) ((c def c (c (? . 0) q struct:test-object)) c (? . 13)) ((c def c (c (? . 0) q expected-error-value)) c (? . 19)) ((c def c (c (? . 0) q struct:failed-check)) c (? . 14)) ((c def c (c (? . 0) q unexpected-error?)) c (? . 15)) ((c def c (c (? . 0) q violated-signature-obj)) c (? . 18)) ((c def c (c (? . 0) q struct:unexpected-error)) c (? . 15)) ((c form c (c (? . 8) q check-random)) q (43 . 2)) ((c def c (c (? . 0) q unequal-srcloc)) c (? . 10)) ((c def c (c (? . 0) q not-mem-set)) c (? . 4)) ((c def c (c (? . 0) q signature-violation-signature)) c (? . 16)) ((c def c (c (? . 0) q signature-got)) c (? . 17)) ((c form c (c (? . 8) q check-satisfied)) q (86 . 2)) ((c def c (c (? . 0) q struct:not-mem)) c (? . 4)) ((c def c (c (? . 0) q test-object?)) c (? . 13)) ((c def c (c (? . 0) q unexpected-error-srcloc)) c (? . 15)) ((c def c (c (? . 0) q add-failed-check!)) q (1096 . 3)) ((c def c (c (? . 0) q unequal?)) c (? . 10)) ((c def c (c (? . 0) q unsatisfied-error?)) c (? . 12)) ((c def c (c (? . 0) q unsatisfied-error-name)) c (? . 12)) ((c def c (c (? . 0) q add-test!)) q (1034 . 3)) ((c def c (c (? . 2) q display-test-results-parameter)) q (3570 . 4)) ((c def c (c (? . 0) q property-error-srcloc)) c (? . 1)) ((c def c (c (? . 0) q failed-check?)) c (? . 14)) ((c def c (c (? . 0) q not-range-min)) c (? . 11)) ((c def c (c (? . 0) q struct:violated-signature)) c (? . 18)) ((c def c (c (? . 0) q struct:expected-error)) c (? . 19)) ((c def c (c (? . 0) q satisfied-failed-srcloc)) c (? . 9)) ((c def c (c (? . 0) q not-mem-actual)) c (? . 4)) ((c def c (c (? . 0) q expected-error-message)) c (? . 19)) ((c def c (c (? . 0) q struct:property-fail)) c (? . 7)) ((c def c (c (? . 0) q incorrect-error)) c (? . 5)) ((c def c (c (? . 8) q test-silence)) q (484 . 4)) ((c form c (c (? . 8) q check-member-of)) q (298 . 2)) ((c def c (c (? . 0) q test-object)) c (? . 13)) ((c def c (c (? . 0) q expected-error-srcloc)) c (? . 19)) ((c def c (c (? . 0) q struct:signature-got)) c (? . 17)) ((c def c (c (? . 0) q test-object-signature-violations)) c (? . 13)) ((c def c (c (? . 0) q empty-test-object)) q (891 . 2)) ((c def c (c (? . 0) q property-fail)) c (? . 7)) ((c def c (c (? . 0) q unsatisfied-error)) c (? . 12)) ((c def c (c (? . 0) q unexpected-error)) c (? . 15)) ((c def c (c (? . 0) q satisfied-failed)) c (? . 9)) ((c def c (c (? . 8) q test-execute)) q (582 . 4)) ((c def c (c (? . 0) q struct:unequal)) c (? . 10)) ((c def c (c (? . 0) q signature-violation-message)) c (? . 16)) ((c def c (c (? . 0) q failed-check-srcloc?)) c (? . 14)) ((c def c (c (? . 0) q fail-reason?)) c (? . 3)) ((c def c (c (? . 0) q add-signature-violation!)) q (1184 . 3)) ((c def c (c (? . 0) q unexpected-error-expected)) c (? . 15)) ((c def c (c (? . 0) q struct:property-error)) c (? . 1)) ((c form c (c (? . 8) q check-expect)) q (0 . 2)) ((c def c (c (? . 0) q not-within-expected)) c (? . 6)) ((c def c (c (? . 0) q signature-violation-blame)) c (? . 16)) ((c def c (c (? . 0) q signature-got?)) c (? . 17)) ((c def c (c (? . 0) q struct:incorrect-error)) c (? . 5)) ((c def c (c (? . 2) q render-value-parameter)) q (3399 . 4)) ((c def c (c (? . 0) q test-object-failed-checks)) c (? . 13)) ((c def c (c (? . 0) q signature-violation?)) c (? . 16)) ((c def c (c (? . 0) q not-range-srcloc)) c (? . 11)) ((c def c (c (? . 2) q display-test-results!)) q (3763 . 3)) ((c def c (c (? . 0) q unexpected-error-exn)) c (? . 15)) ((c def c (c (? . 0) q struct:fail-reason)) c (? . 3)) ((c def c (c (? . 0) q expected-error)) c (? . 19)) ((c def c (c (? . 0) q property-error?)) c (? . 1)) ((c def c (c (? . 0) q violated-signature-signature)) c (? . 18)) ((c def c (c (? . 0) q not-range)) c (? . 11)) ((c def c (c (? . 0) q signature-violation-srcloc)) c (? . 16)) ((c def c (c (? . 0) q violated-signature-blame)) c (? . 18)) ((c def c (c (? . 0) q failed-check-reason)) c (? . 14)) ((c def c (c (? . 0) q violated-signature-srcloc)) c (? . 18)) ((c def c (c (? . 0) q incorrect-error-srcloc)) c (? . 5)) ((c def c (c (? . 0) q unequal-expected)) c (? . 10)) ((c def c (c (? . 0) q expected-error?)) c (? . 19)) ((c form c (c (? . 8) q test)) q (470 . 2)) ((c def c (c (? . 0) q not-range-max)) c (? . 11)) ((c def c (c (? . 0) q initialize-test-object!)) q (989 . 2)) ((c def c (c (? . 0) q violated-signature)) c (? . 18)) ((c def c (c (? . 0) q not-within?)) c (? . 6)) ((c def c (c (? . 0) q violated-signature?)) c (? . 18)) ((c def c (c (? . 0) q not-within-range)) c (? . 6)) ((c def c (c (? . 0) q unsatisfied-error-exn)) c (? . 12)) ((c def c (c (? . 0) q struct:not-range)) c (? . 11)) ((c def c (c (? . 0) q struct:signature-violation)) c (? . 16)) ((c def c (c (? . 0) q not-within-actual)) c (? . 6)) ((c def c (c (? . 0) q struct:not-within)) c (? . 6)) ((c def c (c (? . 0) q property-fail-result)) c (? . 7)) ((c def c (c (? . 0) q signature-violation)) c (? . 16))))
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 failed-checks signature-violations))
  tests : (listof (-> any))
  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 : (-> any)
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 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 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 violated-signature fail-reason (srcloc obj signature blame))
  srcloc : srcloc?
  obj : any/c
  signature : signature?
  blame : (or/c #f syntax?)
struct
(struct signature-got (value))
  value : any/c
struct
(struct signature-violation (obj signature message srcloc blame))
  obj : any/c
  signature : signature?
  message : (or/c string? signature-got?)
  srcloc : (or/c #f srcloc?)
  blame : (or/c #f syntax?)
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) -> (test-object? . -> . any)
(display-test-results-parameter display-test-proc) -> void?
  display-test-proc : (test-object? . -> . any)
procedure
(display-test-results! test-object) -> any
  test-object : test-object?
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?
