Lib.rs

› prusti-std › Features

Cargo Features

prusti-std has no features set by default.

[dependencies]
prusti-std = { version = "0.2.0", features = ["prusti"] }

Forward "prusti" flag

prusti

Enables prusti of prusti-contracts

prusti-std has 1 feature without comment.