Constant miri::MIRI_DEFAULT_ARGS
source · pub const MIRI_DEFAULT_ARGS: &[&str];Expand description
Insert rustc arguments at the beginning of the argument list that Miri wants to be set per default, for maximal validation power.
pub const MIRI_DEFAULT_ARGS: &[&str];Insert rustc arguments at the beginning of the argument list that Miri wants to be set per default, for maximal validation power.