Wrapping Up

Summary

We’ve covered what is pretty much an optimization when we have large counterexamples that PropEr doesn’t necessarily know how to handle. By using the shrink macro, we can let it know how to retarget shrinking toward more meaningful neutral values for a given generator. We’ve also seen that with let_shrink, we can give PropEr tips on how to divide up a data structure to find problems with more ease.

What’s next

Now that we know how to use shrinking, we now have pretty much all of the tools we’ll need to handle stateless property tests.