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
…