Constant charon_lib::options::CHARON_ARGS

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.