Wrapping Up

Summary

We now have all the tools we need to make the fanciest generator imaginable. We’re ready to make generators with 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 a dynamic size that are created through complex recursive generators that filter with ?SUCHTHAT 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.