Trait miri::shims::env::EvalContextExt
source · pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn get_env_var(
&mut self,
name: &OsStr,
) -> InterpResult<'tcx, Option<OsString>> { ... }
fn get_pid(&self) -> u32 { ... }
}
Provided Methods§
sourcefn get_env_var(&mut self, name: &OsStr) -> InterpResult<'tcx, Option<OsString>>
fn get_env_var(&mut self, name: &OsStr) -> InterpResult<'tcx, Option<OsString>>
Try to get an environment variable from the interpreted program’s environment. This is useful for implementing shims which are documented to read from the environment.