Lib.rs

Cargo Features

[dependencies]
proptest-state-machine = { version = "0.7.0", default-features = false, features = ["std"] }

default = std

The std feature is set by default whenever proptest-state-machine is added without default-features = false somewhere in the dependency tree.

std default

Enables the use of standard-library dependent features

Enables std of proptest