pub const CHARON_ARGS: &str = "CHARON_ARGS";
The name of the environment variable we use to save the serialized Cli options when calling charon-driver from cargo-charon.