We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5a0d257 commit c378060Copy full SHA for c378060
src/tools/miri/src/lib.rs
@@ -126,9 +126,9 @@ pub use crate::tag_gc::{EvalContextExt as _, VisitTags};
126
/// Insert rustc arguments at the beginning of the argument list that Miri wants to be
127
/// set per default, for maximal validation power.
128
pub const MIRI_DEFAULT_ARGS: &[&str] = &[
129
+ "--cfg=miri",
130
"-Zalways-encode-mir",
131
+ "-Zextra-const-ub-checks",
132
"-Zmir-emit-retag",
133
"-Zmir-opt-level=0",
- "--cfg=miri",
- "-Zextra-const-ub-checks",
134
];
0 commit comments