From ddfa85654cc0c2d85f28329150d637193785c0ad Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 9 Dec 2019 18:16:07 +0100 Subject: [PATCH] ignore memory leaks --- scripts/run_miri.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/run_miri.sh b/scripts/run_miri.sh index 817928a..c5e5376 100644 --- a/scripts/run_miri.sh +++ b/scripts/run_miri.sh @@ -16,6 +16,6 @@ rustup default "$MIRI_NIGHTLY" rustup component add miri cargo miri setup -cargo miri test --verbose -cargo miri test --verbose --features union -cargo miri test --verbose --all-features +cargo miri test --verbose -- -Zmiri-ignore-leaks +cargo miri test --verbose --features union -- -Zmiri-ignore-leaks +cargo miri test --verbose --all-features -- -Zmiri-ignore-leaks