Cargo Features

prusti-contracts has no features set by default.

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

Forward "prusti" flag

prusti

Enables prusti of prusti-contracts-proc-macros

prusti-contracts-proc-macros:

Are we being compiled by Prusti and should include dependency on prusti-specs and proc-macro2?

Affects prusti-contracts::core_spec