bolero - fuzzing + property testing

2022-02-20 · 1 min read

• #rust
• #fuzzing
• #property-testing

Crate: https://crates.io/crates/bolero

• Looks like what we were trying to do at Diem (integrate property testing and fuzzing).
• Replaces proptest.
• Hooks into fuzzing engines and supports mutation-based fuzzing.

https://camshaft.github.io/bolero/introduction.html

https://camshaft.github.io/bolero/tutorials/fibonacci.html#test-oracle