QuickCheck Basic implementation of Quick Check for Rust. Done Test cases generation; Test runner. Missing Arbitrary interface for custom types value generation; Augusto Henrique Dias, Computer Science @ UFOP