Lib.rs

Cargo Features

cargo-certora-sbf has no features set by default.

[dependencies]
cargo-certora-sbf = { version = "0.2.0", features = ["program"] }

program

cargo-certora-sbf has 1 feature without comment.