Property-based testing

Property-based search challenges a quantified domain for counterexamples. A green run is evidence over the searched cases, not proof over every value.

Choose the branch

• Write or design properties — run the process below.
• Review existing property tests — load reviewing property tests and the matching framework adapter.
• Investigate a failure — load triaging counterexamples and the matching framework adapter.

Choose the library

Use the project's existing suitable property-based testing library. If none is available or installed, ask the user to add or install one. A missing dependency is not a reason to skip property-based testing or switch to examples.

For new adoption, recommend these defaults; they do not require replacing a suitable existing library: