check-satisfied

What version of Racket are you using?

6.10.1

What program did you run?

#lang typed/racket
(require typed/test-engine/racket-tests)
(check-satisfied 0 zero?)
(test)

What should have happened?

The only test passed!

If you got an error message, please include it here.

. Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: check-values-property
  from module: test-engine/racket-tests in: (check-satisfied 0 zero?)
. Type Checker: type mismatch
  expected: exn
  given: Any in: (check-satisfied 0 zero?)
. Type Checker: No function domains matched in function application:
Domains: (U Byte-Regexp Bytes Regexp String) (U Bytes Input-Port) Integer (U False Integer) (U False Output-Port) Bytes #f *
         (U Byte-Regexp Bytes Regexp String) (U Bytes Input-Port) Integer (U False Integer) (U False Output-Port) #f *
         (U Byte-Regexp Bytes Regexp String) (U Bytes Input-Port) Integer (U False Integer) #f *
         (U Byte-Regexp Bytes Regexp String) (U Bytes Input-Port) Integer #f *
         (U Byte-Regexp Bytes Regexp String) (U Bytes Input-Port) #f *
         (U Byte-Regexp Bytes) (U Bytes Input-Port Path-String) Integer (U False Integer) (U False Output-Port) Bytes #f *
         (U Byte-Regexp Bytes) (U Bytes Input-Port Path-String) Integer (U False Integer) (U False Output-Port) #f *
         (U Byte-Regexp Bytes) (U Bytes Input-Port Path-String) Integer (U False Integer) #f *
         (U Byte-Regexp Bytes) (U Bytes Input-Port Path-String) Integer #f *
         (U Byte-Regexp Bytes) (U Bytes Input-Port Path-String) #f *
         (U Regexp String) Path-String Integer (U False Integer) (U False Output-Port) Bytes #f *
         (U Regexp String) Path-String Integer (U False Integer) (U False Output-Port) #f *
         (U Regexp String) Path-String Integer (U Fa in: (check-satisfied 0 zero?)
. Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: break-enabled-key
  from module: (quote #%paramz) in: (check-satisfied 0 zero?)
. Type Checker: Summary: 4 errors encountered in:
  (check-satisfied 0 zero?)
  (check-satisfied 0 zero?)
  (check-satisfied 0 zero?)
  (check-satisfied 0 zero?)

Run the provided typed/racket program first, then inspect typed/test-engine/racket-tests and the check-satisfied entry point. Done means the example type-checks without the reported errors and the single test passes.