Cargo Features

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

The async_std feature is set by default whenever proptest_async is added without default-features = false somewhere in the dependency tree.

async_std default

Enables async-std

tokio

Enables tokio

proptest_async has 3 features without comments.