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() {
        // ...
    }
}

runtime

The macro currently hardcodes async_std as the executor. Could be easily converted to work with Tokio (e.g. using a feature switch), but I haven't gotten around to this.

upstream

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