proptest

Hypothesis-like property-based testing and shrinking.

$cargo add proptest

Official docs outline

Extra Credit builds an outline of proptest's docs the first time your work uses it. Until then, start at the official documentation.

async-task Task abstraction for building executors
encode_unicode UTF-8 and UTF-16 character types, iterators and related methods for char, u8 and u16.
lazycell A library providing a lazily filled Cell struct
scoped-tls Library implementation of the standard library's old `scoped_thread_local!` macro for providing scoped access to thread local storage (TLS)
wasm-encoder A low-level WebAssembly encoder.
termtree Visualize tree-like data on the command-line
num-bigint-dig Big integer implementation for Rust
blake3 the BLAKE3 hash function
io-lifetimes A low-level I/O ownership and borrowing library
system-configuration Bindings to SystemConfiguration framework for macOS
fdeflate Fast specialized deflate implementation
polyval POLYVAL is a GHASH-like universal hash over GF(2^128) useful for constructing a Message Authentication Code (MAC)