property-based-testing

Maintained by trailofbits

Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. Use whenever tests should cover a whole input domain instead of a hand-picked list of examples: encode/decode and serialize/deserialize pairs, parsers, canonicalizers and nor

Testing

Current version: Unknown
License: Unknown
Network access: Unknown / not assessed
Review status: Not verified

Problem it solves

This catalog entry helps users find and evaluate property-based-testing for the task described by its available catalog summary. Confirm the exact scope in the linked original source when one is available.

When to use it

Consider property-based-testing when its available catalog summary matches the task at hand. When available, review the linked original source before use for precise instructions, requirements, and limitations.

property-based-testing is listed as an agent skill in RefHub. The listed maintainer is trailofbits. The available catalog summary is: Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. Use whenever tests should cover a whole input domain instead of a hand-picked list of examples: encode/decode and serialize/deserialize pairs, parsers, canonicalizers and nor When available, review the linked original source for exact usage instructions, required tools, and limitations.

Installation and updates

These commands are displayed for copying only and are never executed on RefHub servers. Review the linked upstream source before running them.

Install command

npx skills add trailofbits/skills --skill property-based-testing -y

Agent compatibility

No compatibility test has been recorded

Do not assume agent compatibility until documented test evidence is available.