Attribute Macro quickcheck_async::tokio

#[tokio]

Mark an async function to be fuzz-tested using quickcheck, within a tokio executor.

Usage

#[quickcheck_async::tokio]
async fn fuzz_me(fuzz_arg: String) -> bool {
    fuzz_arg != "fuzzed".to_owned()
}

Attribute arguments

Arguments to this attribute are passed through to tokio::test.

#[quickcheck_async::tokio(core_threads = 3)]
async fn fuzz_me(fuzz_arg: String) -> bool {
    fuzz_arg != "fuzzed".to_owned()
}