Wrapping Up

Here's a summary of what we learned in this chapter.

We'll cover the following


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.

Get hands-on with 1200+ tech skills courses.