Mathematical properties for random testing
A property based testing (PBT) tool like QuickCheck, ScalaCheck and similar libraries, for the Rust programming language.