Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Possible Approaches

  1. Modify generators in-place
    1. Just the four composite generators (gen/simple-type{-printable} and gen/any{-printable})
    2. gen/double doesn't generate NaN, and gen/double* allows it as opt-in
  2. Add new generators
    1. Analogues of the four composite, or some subset (gen/simple-type-no-NaN, gen/any-no-NaN, etc.)
  3. Something else?
    1. arguably users can manage this on their own, although excluding NaN from gen/any is not so simple, since a naïve wrapping in gen/such-that won't work

Test Runner Topics

Test Failure Feedback