testing
Installation
SKILL.md
Testing
Build the smallest executable argument that can disagree with a wrong implementation. A passing test matters only when its setup, observation, and oracle can expose the named risk.
Route before choosing examples
Inspect the requested contract, relevant production code, types, callers, and existing tests before choosing evidence.
Choose one primary search mechanism for each independently falsifiable risk:
| Primary search | Use when |
|---|---|
| Examples | The meaningful cases form a small explicit table or named regression. Continue with this skill. |
| Property-based testing | A broad generated domain, operation sequence, or schedule can challenge a compact independent oracle. Load property-based-testing. |
| Fuzzing | Coverage-guided mutation is useful at a reachable production input seam with a named risk, oracle, supported engine, and bounded budget. Load fuzzing. |