nw-pbt-fundamentals

What problem does it solve?

Property-based testing describes the rules your functions must satisfy rather than enumerating examples, enabling automated generation of inputs, detection of edge cases, and systematic shrinking to minimal counterexamples.

Core Features & Use Cases

• Define invariants, round-trips, or metamorphic properties to validate behavior across wide input spaces.
• Use generator design patterns (integers, strings, recursive structures) to model real-world data; leverage shrinking to identify minimal failure cases.
• Apply PBT to serialization/deserialization, parsers, data structures, state machines, and numerical computations to increase confidence with less manual test writing.

Quick Start

Define a set of properties for your module and run the property-based testing framework to automatically generate inputs and shrink failures.