Before starting, read: ../authoring-tests/SKILL.md
Adhere to these principles when writing property-based tests:
-
Write focused properties with focused arbitraries to properly explore slices of the input space.
-
Prefer arbitraries that generate the desired input space directly instead of generating a larger input space and then filtering it down.
-
Keep assertions focused only on what's straightforward to infer from the input arbitraries. It's often infeasible assert the full value
[Description truncada. Veja o README completo no GitHub.]