Cargo Features

proptest = { version = "1.4.0", default-features = false, features = ["default-code-coverage", "unstable", "std", "alloc", "hardware-rng", "fork", "timeout", "atomic64bit", "bit-set"] }
default = bit-set, fork, std, timeout

These default features are set whenever proptest is added without default-features = false somewhere in the dependency tree.

default-code-coverage = bit-set, fork, std, timeout

Everything in default that doesn't break code coverage builds


Enables unstable features of Rust.

std default default-code-coverage? fork = lazy_static, regex-syntax

Enables the use of standard-library dependent features

Enables std of num-traits and rand

Affects collection::hash_set, collection::hash_map, proptest::path, proptest::string, sugar::force_no_fork, config::contextualize_config, config::Config.max_shrink_time, config::Config.verbose, result_cache::basic_result_cache

hardware-rng = x86

Use a hardware random number generator (instead of static seed) for x86 no_std targets

fork default default-code-coverage? timeout = rusty-fork, std, tempfile

Enables use of the "fork" feature.

Requires std.

Affects config::Config.fork

timeout default default-code-coverage? = fork

Enables use of the "timeout" feature.

Requires the "fork" feature.

Enables timeout of rusty-fork

Affects config::Config.timeout


Enables support for 64-bit atomic integers.
This is enabled by default. Some no_std environments do not support it and need it excluded, however.

bit-set default default-code-coverage?

Enables bit-set and bit-vec

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

lazy_static std
regex-syntax std
tempfile fork
x86 hardware-rng?
rusty-fork fork timeout