charon_lib

Module 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.