Property-Based Testing & Counterexample Review
Review property tests for roundtrips, normalization, preservation and invariants, with complete references and explicit limits for generated examples and shrunk failures.
- Purpose
- Property-based test design
- Author / publisher
- Trail of Bits
- License
- CC-BY-SA-4.0 · License guidance
- Version
- 82fe82262526.bb1
- Access
- Free download. External tools and services may have separate costs.
- Catalog clients
- Claude Code, Codex
Source & package
17 files · 1 script/code file. License file detected.
Current package SHA-256
05c12075f2dd5e468a6892d2eb15ac5e6f1f6669aaa7089b65fcbef3fdab1740Tools & requirements
Instruction-only property-testing workflow with five complete references. Use a suitable existing language-specific library; any new project dependency is a separate owner decision. No AI client, full skill invocation, upstream evaluation harness or smart-contract runtime was executed.
Free CC BY-SA 4.0 instruction download with attribution, source/license links, change notices and ShareAlike. Complete legal text and publisher grant are included. No model API, paid resource or cloud service is used by inspection; external services can have separate prerequisites and costs.
Evidence & limits
Source review checked 2026-10-04. Full skill/agent runtime evaluation has not been performed.
1 current outcome record. Read the actual environment, result and limitations.