bughunt-rust
bughunt-rust copied to clipboard
blt
QuickCheck bug hunting in Rust standard library data structures
As detailed in [this post](https://blog.troutwine.us/2018/10/08/hunting-for-bugs-in-rust/) hunting for bugs is hampered right now because of Rust's panic strategy around allocation failures. We should introduce techniques to avoid these panics, related issues...
I thought to run the `cargo test` command but no test are actually executed. latest stable: rustc 1.30.0 & cargo 1.30
Opening an issue because github doesn't provide a better communication mechanism. Hopefully some of these points are actionable. > Downside is, the std data structures we're testing don't have any...
Any bug searching technique lives and dies by its ability to find, well, bugs. To judge how well our approach is doing in this project we need a list of...