update miri flags

matthiaskrgr · Mar 10, 2024 · a84f7a1 · a84f7a1
1 parent cd4347c
commit a84f7a1
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/flags.rs b/src/flags.rs
@@ -4571,7 +4571,6 @@ pub(crate) static MIRIFLAGS: &[&[&str]] = &[
     // with mir opt level
     &[
         "-Zmir-opt-level=5",
-        "-Zmiri-check-number-validity",
         "-Zmiri-strict-provenance",
         "-Zmiri-symbolic-alignment-check",
         "-Zmiri-tag-raw-pointers",
@@ -4581,7 +4580,6 @@ pub(crate) static MIRIFLAGS: &[&[&str]] = &[
     ],
     // and without
     &[
-        //"-Zmiri-check-number-validity", // default
         "-Zmiri-strict-provenance",
         "-Zmiri-symbolic-alignment-check",
         // "-Zmiri-tag-raw-pointers", // default