use bolero::check; fn main() { check!().for_each(|input: &[u8]| { // TODO implement checks let _ = input; }); }