nw-pbt-rust
Installation
SKILL.md
PBT Rust -- proptest, quickcheck, bolero
Framework Selection
| Framework | Shrinking | Stateful | Choose When |
|---|---|---|---|
| proptest | Integrated | No | Default choice. Most features, best shrinking. |
| quickcheck | Type-based | No | Simple properties, one generator per type sufficient |
| bolero | Engine-dependent | No | Want to switch between PBT and fuzzing engines |
Default: proptest. Supports multiple strategies per type without newtype wrappers, better shrinking.
Quick Start (proptest)
use proptest::prelude::*;