| name | property-based-testing |
| description | Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests. |
| source_skill_id | trailofbits-skills-plugins-property-based-testing-skills-property-based-testing-skill-md |
| category | Testing, QA & benchmarking |
| source_mirror | ../../../../../skills/by-category/testing-qa-benchmarking/security-reference/property-based-testing/SKILL.md |
| benchmark_status | artifact_gated |
property-based-testing
Use this skill when the task matches the description above or the source path clearly applies. Start with this concise entrypoint; open ../../../../../skills/by-category/testing-qa-benchmarking/security-reference/property-based-testing/SKILL.md only when implementation details, commands, assets, or references are needed.
Workflow
- Confirm the task matches this skill's scope.
- Read the local source mirror if more detail is required.
- Follow repository-level
AGENTS.md; use one AI session only.
- Keep claims tied to files, commands, citations, or benchmark artifacts.
Verification
- Source mirror:
../../../../../skills/by-category/testing-qa-benchmarking/security-reference/property-based-testing/SKILL.md
- Source commit:
e8cc5baf9329ccb491bfa200e82eacbac83b1ead
- Static benchmark results: see
docs/benchmark-results.md
- Runtime artifacts recorded by this entrypoint:
0
- Assigned scenarios:
skill-proof-trailofbits-skills-plugins-property-based-testing-skills-property-based-testing-skill-md, testing-qa-and-benchmarking-swe-bench-lite, testing-qa-and-benchmarking-owasp-benchmark, testing-qa-and-benchmarking-local-omero-compose-workflows
Do not claim this skill passed a runtime benchmark until a validated artifact exists.
