proptest_async

This crate is an augmentation of the proptest::proptest! macro to work with async tests.

proptest_async::proptest! {
    #[test]
    async fn my_test() {
        // ...
    }
}

async executor

By default, the macro uses async_std as the executor.

You can select tokio (single-threaded) instead with:

[dependencies]
proptest_async = { version = "*", default-features = false, features = ["tokio"] }

upstream

I'll probably eventually clean it up and upstream to the proptest project.