Macro bolero::check

macro_rules! check {
    ($($tt:tt)*) => { ... };
}

Execute property checks for a given target

Examples

use bolero::check;

#[test]
fn slice_check() {
    check!().for_each(|input: &[u8]| {
        // implement check target here
    });
}

use bolero::check;

#[test]
fn typed_check() {
    check!()
        .with_type::<(u8, u16)>()
        .for_each(|(a, b)| {
            // implement check target here
        });
}

use bolero::check;

#[test]
fn generator_check() {
    check!()
        .with_generator((0..100, 10..50))
        .for_each(|(a, b)| {
            // implement check target here
        });
}

use bolero::check;

#[test]
fn macro_slice_check() {
    check!(|input| {
        // implement check target here
    });
}

use bolero::check;

#[test]
fn macro_for_check() {
    check!(for (a, b) in all((gen::<u8>(), gen::<u8>())) {
        // implement check target here
    });
}