proptest

What problem does it solve?

Property-based testing helps ensure correctness by verifying invariants across various inputs and shrinking failing cases to minimal examples.

Core Features & Use Cases

• Property-based testing of Rust code using proptest, generating arbitrary data with strategies.
• Shrinking: automatically reduces failing inputs to minimal counterexamples for easier debugging.
• Optional: derive Arbitrary using proptest-derive for custom types.
• Use Case: ensure a function behaves correctly for edge values across many inputs.

Quick Start

Write a proptest-based test that asserts a property holds for arbitrary inputs using the proptest! macro.