Constant CHARON_SYSROOT_VAR 

pub const CHARON_SYSROOT_VAR: &str = "CHARON_RESOLVED_MIRI_SYSROOT";

The environment variable through which charon tells charon-driver which full-MIR sysroot to use, if any.