Lib.rs

› creusot-contracts-proc › Features

Cargo Features

creusot-contracts-proc has no features set by default.

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

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).

Enables pearlite-syn, uuid, span-locations of proc-macro2

Affects creusot-contracts-proc::derive_clone, creusot-contracts-proc::derive_default, creusot-contracts-proc::derive_partial_eq…