Revert "update miri flags"

This reverts commit a84f7a1.
matthiaskrgr · Mar 10, 2024 · 63b3c36 · 63b3c36
1 parent a84f7a1
commit 63b3c36
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/flags.rs b/src/flags.rs
@@ -4571,6 +4571,7 @@ 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",
@@ -4580,6 +4581,7 @@ pub(crate) static MIRIFLAGS: &[&[&str]] = &[
     ],
     // and without
     &[
+        //"-Zmiri-check-number-validity", // default
         "-Zmiri-strict-provenance",
         "-Zmiri-symbolic-alignment-check",
         // "-Zmiri-tag-raw-pointers", // default