Automated property based testing for Rust | Heykuki News