From 9dc57f5055f2a337f72a966e66937455bcf73aa4 Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Sun, 6 Feb 2022 13:19:46 +0900 Subject: [PATCH] Enable -Zmiri-symbolic-alignment-check and -Zmiri-check-number-validity in miri CI (#2559) --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a07211dfd7..57ff9be41c 100644 --- 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 }}