Module options

The options that control charon behavior.

Structs

CliOpts

TranslateOptions

The options that control translation and transformation.

Enums

MirLevel

The MIR stage to use. This is only relevant for the current crate: for dependencies, only mir optimized is available (or mir elaborated for consts).

Preset

Presets to make it easier to tweak options without breaking dependent projects. Eventually we should define semantically-meaningful presets instead of project-specific ones.

Constants

CHARON_ARGS

The name of the environment variable we use to save the serialized Cli options when calling charon-driver from cargo-charon.