What is a property?

When talking about Property-Based Testing, we typically talk in very abstract terms. There are properties, which define the correctness; there are generators, which define the domain; the PBT framework gives us APIs for writing property-based tests that combine the properties with the generators to find bugs. It&#x27;s all very nice and simple. A (surprisingly) large chunk of my time goes into…