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. Also disable the MIR pass that inserts an alignment check on every pointer dereference. Miri does that too, and with a better error message.