sort flags alphabetically
This commit is contained in:
parent
5a0d2576e2
commit
c3780602ec
1 changed files with 2 additions and 2 deletions
|
|
@ -126,9 +126,9 @@ pub use crate::tag_gc::{EvalContextExt as _, VisitTags};
|
|||
/// 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] = &[
|
||||
"--cfg=miri",
|
||||
"-Zalways-encode-mir",
|
||||
"-Zextra-const-ub-checks",
|
||||
"-Zmir-emit-retag",
|
||||
"-Zmir-opt-level=0",
|
||||
"--cfg=miri",
|
||||
"-Zextra-const-ub-checks",
|
||||
];
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue