Coming soon — this article is being prepared. Below are its question, intended outcome, and place in the story.
The question
How can you define an invariant for property-based examples?
What we will work through
Define an invariant for property-based examples.
Before you begin
Previously covered: The boundaries of a unit test.