Constant miri::MIRI_DEFAULT_ARGS
source · pub const MIRI_DEFAULT_ARGS: &'static [&'static 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.