11 replies

FastCheck `sample` function ignoring `nonEmpty` constraint

Good afternoon everyone! Thanks for the great library, it's truly a paradigm shift for me.

I ran into a small intersection issue while sampling FastCheck arbitraries from a

string

string

schema. Namely, when sampling arbitraries from a

string

string

schema that is constrained by both

pattern

pattern

pattern

pattern and

nonEmpty

nonEmpty

nonEmpty

nonEmpty constraints, the FastCheck

sample

sample

sample

sample function does not honor the

nonEmpty

nonEmpty

nonEmpty

nonEmpty constraint when generating arbitraries. For example:

FastCheck.sample(
  Arbitrary.make(
    Schema.NonEmpty.pipe(
      Schema.pattern(/^[A-Za-z]*$/)
    )
  ), 
5)

[ '', 'v', 'JGkTpVelCO', 'nl', 'uE' ]

FastCheck.sample(
  Arbitrary.make(
    Schema.NonEmpty.pipe(
      Schema.pattern(/^[A-Za-z]*$/)
    )
  ), 
5)

[ '', 'v', 'JGkTpVelCO', 'nl', 'uE' ]

FastCheck.sample(
  Arbitrary.make(
    Schema.NonEmpty.pipe(
      Schema.pattern(/^[A-Za-z]*$/)
    )
  ), 
5)

[ '', 'v', 'JGkTpVelCO', 'nl', 'uE' ]

FastCheck.sample(
  Arbitrary.make(
    Schema.NonEmpty.pipe(
      Schema.pattern(/^[A-Za-z]*$/)
    )
  ), 
5)

[ '', 'v', 'JGkTpVelCO', 'nl', 'uE' ]

...Some of the generated arbitraries will in fact be

''

''

''

''. Is this a known issue, or have I found a bug? Thanks in advance!

FastCheck `sample` function ignoring `nonEmpty` constraint

Similar Threads

Similar Threads

Similar Threads