Wrapping Up

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

We'll cover the following

Summary

We now have all the tools we need to make the fanciest generator imaginable. We’re ready to make some that have a wide-spectrum approach to fuzz our systems as well as more narrowed and accurate generators that exercise specific invariants to our code. All of these methods can be mixed together. Nothing should stop us from using symbolic calls with some terms created probabilistically with dynamic size that are created through complex recursive generators that filter with such_that and transform with let.

What’s next

We still need to find strategies to make proper use of properties within a project. The next chapter will cover responsible testing, how to know when enough is enough, or where a little property-testing magic can go a long way.

Get hands-on with 1200+ tech skills courses.