Repository files navigation

fuzz and property testing front-end for Rust

A copy of the Bolero Book can be found here:http://camshaft.github.io/bolero

1. Install subcommand and add a dependency

   $cargo add --dev bolero$cargo install -f cargo-bolero

2. Write a test usingbolero::check! macro:

   pubfnbuggy_add(x:u32,y:u32) ->u32{if x ==12976 && y ==14867{return x.wrapping_sub(y);}return x.wrapping_add(y);}#[test]fnfuzz_add(){    bolero::check!().with_type().cloned().for_each(|(a, b)|buggy_add(a, b) == a.wrapping_add(b));}

3. Run the test withcargo bolero

   $cargo bolerotest fuzz_add#... some moments later ...======================== Test Failure ========================Input:(    12976,    14867,)Error:test returned `false`==============================================================

cargo-bolero needs a couple of libraries installed to compile. If these libraries aren'tavailable the requirement can be relaxed by executingcargo install cargo-bolero --no-default-features -f

$ sudo apt install binutils-dev libunwind-dev