proptest_async

此包扩展了 proptest::proptest! 宏以支持异步测试。

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

异步执行器

默认情况下，宏使用 async_std 作为执行器。

您可以使用以下方式选择 tokio（单线程）

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

上游

我可能最终会清理它并将其上传到 proptest 项目。