Michael Fry

This should be a valid generator ```csharp Gen.Boolean().SetOf().WithCountLessThan(10) ``` However, currently it will generate a count between 0 and 10, and if that count is > 2 (max distinct booleans),...

- Sizing algorithm of sample and check, or sample vs check - ~~Testing constraints of generators (e.g. Int32), should also test that the shrinks conform to the constraints~~ - ExampleSpace.Counterexamples...

- ~~Turn off "deep check" in Check, give up at first counterexample~~ - ~~Property iterations~~ - ~~[NoShrink] attribute for parameter gen~~ - ~~Custom gen attributes that are composed of multiple...

We want to be able to have precise control over the number of iterations we run our test with. However, we also want to have global configuration. For example, I...

- How does exhaustion manifest when running a property (devx), as well as sampling a generator? Pertaining to the XUnit integration, but also the runners that live inside the core...

List could implement a different shrinking strategy when called with an OfLength, to solve this challenge: https://github.com/jlink/shrinking-challenge/blob/main/challenges/lengthlist.md Note, this was solved in pbt proto inside the bind itself. But I...

Given the generator `Gen.Int32().Between(0, 100).Where(x => x % 2 == 0)` If it generates the value 14 - it will normally have the shrinks [0, 7, 11, 13]. However, all...