Property Based Testing
Plugin Verified ActiveProperty-based testing guidance for multiple languages and smart contracts
To guide developers in leveraging property-based testing for more robust and comprehensive test coverage across different languages and smart contract frameworks.
Features
- Guidance on property-based testing patterns
- Support for multiple programming languages
- Coverage for smart contract testing frameworks
- Identification of suitable code constructs for PBT
- Recommendations for testing libraries and properties
Use Cases
- Writing property-based tests for serialization and parsing logic
- Designing new features with testability in mind using PBT
- Reviewing code to identify areas that would benefit from PBT
- Improving test coverage for pure functions and data structures
Non-Goals
- Automatically generating tests for all code
- Replacing example-based testing entirely
- Providing specific language runtimes or libraries
- Testing code with side effects that cannot be isolated
Installation
First, add the marketplace
/plugin marketplace add trailofbits/skills/plugin install property-based-testing@trailofbitsQuality Score
VerifiedTrust Signals
Similar Extensions
Entry Point Analyzer
96Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level, and generates structured audit reports.
Blockchain Web3
98Smart contract development with Solidity, DeFi protocol implementation, NFT platforms, and Web3 application architecture
Arm Cortex Microcontrollers
100ARM Cortex-M firmware development for Teensy, STM32, nRF52, and SAMD with peripheral drivers and memory safety patterns
Cypress
100Create, update, and fix Cypress tests. Connect to Cypress Cloud to see test results and use data to manage your test suite.
Debugging Code
98Interactively debug source code — set breakpoints, step through execution, inspect live variables, evaluate expressions, and trace root causes.
Ruflo Ruvector
98Self-learning vector database via npx ruvector@0.2.25 — HNSW, adaptive LoRA embeddings, code-graph clustering, hooks routing, brain/SONA, 103 MCP tools