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.

Process

1. Commit or return

Inspect the production seam and existing test infrastructure, then write one outcome before mutation: