Enable -Zmiri-symbolic-alignment-check and -Zmiri-check-number-validi…

…ty in miri CI (#2559)
rust-lang · Feb 6, 2022 · 4f3b98e · 4f3b98e
1 parent 9392578
commit 4f3b98e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -246,7 +246,7 @@ jobs:
       # futures-executor uses boxed futures so many tests trigger https://github.com/rust-lang/miri/issues/1038
       - run: cargo miri test --workspace --exclude futures-executor --all-features
         env:
-          MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-tag-raw-pointers
+          MIRIFLAGS: -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-tag-raw-pointers -Zmiri-disable-isolation
 
   san:
     name: cargo test -Z sanitizer=${{ matrix.sanitizer }}