Proptest

What Proptest is

Proptest is a free property testing framework for Rust. It generates values from strategies and can simplify a failing input to a minimal test case that reproduces the problem. Strategies are defined for individual values, which supports flexible composition, and the framework includes a substantial strategy library. It also supports state-machine testing for systems such as database APIs and client-server interactions. Failed cases can be saved for replay in later runs; optional fork and timeout features run tests in subprocesses and limit execution time. The default requirement for a passing test is 256 successful cases. Proptest is feature-complete and mainly receives passive volunteer maintenance. Its minimum supported Rust version is 1.88. Partial no_std support requires a nightly compiler with alloc or std for memory allocation, and does not include failure persistence, forking, or regex-dependent features. WebAssembly compilation is highly experimental, with little substantial testing; i128 and u128 numeric strategies are unavailable on those targets. The repository contains Apache-2.0 and MIT licenses.