Module options

The options that control charon behavior.

Structs

• CliOpts
• TranslateOptions
  The options that control translation and transformation.

Enums

• MirLevel
  TODO: maybe we should always target MIR Built, this would make things simpler. In particular, the MIR optimized is very low level and reveals too many types and data-structures that we don’t want to manipulate.

Constants

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