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.