Wrapping Up

Summary

We should now have an understanding of the basic syntax and operation of stateless properties. We’ve learned how modules that contain properties tend to be structured, the syntax of a basic property, a bunch of generators to describe the data our properties will need and how to run them, and how to debug our tests when they fail.

What’s next

We’ll expand our technical skills for writing properties, learn what makes a good property, and how to come up with one. The next chapter will help by showcasing multiple strategies that are useful when trying to translate a rule into a property.