Introduction to Thinking in Properties
Explore key strategies to develop comfort in writing property-based tests. Understand modeling, generalizing example tests, identifying invariants, and symmetric properties to improve your ability to create effective property-based tests in Erlang using PropEr.
We'll cover the following...
We'll cover the following...
In the last chapter, we went over basic properties, including their syntax and generators that are available out of the box. We played with the biggest(List) function, ensuring it behaved properly. We should now have a good idea of what a property looks like and how to read it, but chances are we might not feel ...