Wrapping Up

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

We'll cover the following...

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 ...