PropTests: improving the shrinking capabilities of PropValue

[Acaccia]

The proptest lib has strategies for shrinking values which fail property tests.

For now, PropValue uses the default strategy, which for our case does not really help a lot: our generated values are too big, and the default shrinking would use too many steps for giving us something useful.

It seems PropValue could implement the ValueTree trait, which contains a simplify method.

[moodmosaic]

Is the current shrinking strategy integrated or type-based?

[Acaccia]

Those are new notions for me, so I hope I understand the blog post correctly.

It seems it's integrated to the strategy. From their book:

Note that shrinking never shrinks a value to something outside the range the strategy describes.