Research: property-based-testing
Cached research evidence for property-based-testing (not authority).
Purpose
Section titled “Purpose”Proactively suggests/writes property-based tests for encode/decode, parsers, normalize, validators, collections, pure math/algos, smart contracts. Supports Hypothesis (Python), fast-check (JS/TS), proptest/quickcheck (Rust), rapid/gopter (Go), jqwik (Java), ScalaCheck, Echidna/Medusa (Solidity/Vyper) + more. References library list.
Harness Coverage
Section titled “Harness Coverage”Testing / verification agents.
Trust And Risks
Section titled “Trust And Risks”trust_tier=needs-inspection; status=inspect-then-install; provenance=verified-install-command; risks=Only useful on code with suitable pure/roundtrip/invariant patterns; may propose new deps. policy=Inspect group.; evidence=config trailofbits + https://github.com/trailofbits/skills .
Install Prerequisites
Section titled “Install Prerequisites”Grouped with codeql/semgrep in inspect install. status=inspect-then-install.
Upstream Maintainer
Section titled “Upstream Maintainer”Comparable Alternatives
Section titled “Comparable Alternatives”e2e-testing-patterns, python-testing-patterns, javascript-testing-patterns (wshobson). PBT-specific instruction.
> Web evidence repo.