Module charon_lib::options

source ·
Expand description

The options received as input by cargo-charon

Structs§

Constants§

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