proptest

proptest is a property-based testing framework for Rust that generates shrinking counterexamples automatically. Unlike fuzzing (bolero, cargo-fuzz), proptest is designed for logical correctness testing — "for all inputs satisfying X, property Y holds." See rust-build-tooling.