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.