# `proptest_async`

[![Docs](https://docs.rs/proptest_async/badge.svg)](https://docs.rs/proptest_async)
[![Latest](https://img.shields.io/crates/v/proptest_async.svg)](https://crates.io/crates/proptest_async)

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

```rust
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:

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

## upstream

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