charon_lib::options

Constant CHARON_ARGS

source
pub const CHARON_ARGS: &str = "CHARON_ARGS";
Expand description

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