Lib.rs

› creusot-contracts › Features

Cargo Features

creusot-contracts has no features set by default.

[dependencies]
creusot-contracts = { version = "0.5.0", features = ["nightly", "creusot"] }
nightly

Enabled by creusot.
Must be disabled to build with stable Rust.
May be enabled to build with nightly Rust.

Affects ops::FnOnceExt, ops::FnMutExt, ops::FnExt…

creusot

Enables creusot of creusot-contracts-proc

creusot-contracts-proc:

Compile the crate::creusot module. This does not change the behavior of the macros (that is controlled by the rustc flag cfg(creusot), which is a different thing from crate features). This feature is enabled by cargo creusot, and also by rust-analyzer during development (see .vscode/settings.json).