Cargo Features
prusti-contracts-proc-macros has no features set by default.
[dependencies]
prusti-contracts-proc-macros = { version = "0.2.0", features = ["prusti"] }- prusti
-
Are we being compiled by Prusti and should include dependency on prusti-specs and proc-macro2?
Enables proc-macro2 and prusti-specs
Affects
prusti-contracts-proc-macros::requires,prusti-contracts-proc-macros::ensures,prusti-contracts-proc-macros::after_expiry,prusti-contracts-proc-macros::assert_on_expiry,prusti-contracts-proc-macros::pure,prusti-contracts-proc-macros::trusted,prusti-contracts-proc-macros::verified,prusti-contracts-proc-macros::body_invariant,prusti-contracts-proc-macros::prusti_assert,prusti-contracts-proc-macros::prusti_assume,prusti-contracts-proc-macros::prusti_refute,prusti-contracts-proc-macros::closure,prusti-contracts-proc-macros::refine_trait_spec,prusti-contracts-proc-macros::extern_spec,prusti-contracts-proc-macros::invariant,prusti-contracts-proc-macros::predicate…