Skip to main content

setup_miri_sysroot

charon_driver::driver

Function setup_miri_sysroot 

Source 
fn setup_miri_sysroot(target: &str) -> Option<PathBuf>
Expand description

cargo miri setup sets up a sysroot containing a standard library built with -Zalways-encode-mir.