Wrapping Up

Summary

We’ve now gone through a little bit of an overview of what property-based testing asks of us and offers in return and have things working in a typical project structure for Erlang. We have our toolbox in order. Even though we’ve successfully run a property (and over 10,000 tests), chances are we’re not quite at a point where you feel like you understand what goes on in the framework and how we could write arbitrary properties.

What’s next

That’s fine, though, because the next chapter will get us there. We’ll look into the specific format of properties, how we can tell the framework what data to generate for them, how to interpret test results, and so on.