property▌
2 indexed skills · max 10 per page
property-based-testing
aj-geddes/useful-ai-prompts · Testing
Property-based testing verifies that code satisfies general properties or invariants for a wide range of automatically generated inputs, rather than testing specific examples. This approach finds edge cases and bugs that example-based tests often miss.
property-based-testing
trailofbits/skills · Testing
Guidance for property-based testing across languages and smart contracts. \n \n Detects high-value PBT patterns automatically: serialization pairs, parsers, validators, normalization, data structures, algorithms, and smart contract state invariants \n Provides a property catalog with 10 core patterns (roundtrip, idempotence, invariant, commutativity, associativity, identity, inverse, oracle, easy-to-verify, no exception) ranked by strength \n Includes decision tree routing to language-specific r