rust-testing-verification

What problem does it solve?

This Skill consolidates and guides rigorous Rust testing strategies to help you catch edge cases, ensure correctness, and measure performance. It combines property-based testing with proptest, fuzz testing with cargo-fuzz, benchmarking with Criterion, contract testing for traits, and Miri for undefined behavior detection.

Core Features & Use Cases

• Property-Based Testing: Generate diverse inputs to uncover edge cases and invariants.
• Fuzz Testing: Use cargo-fuzz to stress test parsers, encoders/decoders, and APIs.
• Benchmarking: Benchmark critical paths with Criterion to quantify performance changes.
• Contract Testing: Validate trait implementations and API contracts under varied scenarios.
• Undefined Behavior Detection: Leverage Miri to catch UB in unsafe blocks.

Quick Start

Run the full Rust testing workflow on the current project: execute property-based tests with proptest, run fuzz tests with cargo-fuzz, and benchmark with Criterion; then report any failures and benchmark results.