Merge pull request #9 from RalfJung/miri

Miri: also check for leaks
anderslanglands · May 10, 2020 · ab3b0b3 · ab3b0b3
2 parents 8884f6c + ad1e09b
commit ab3b0b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/miri.sh b/miri.sh
@@ -13,4 +13,4 @@ rustup component add miri
 cargo miri setup
 
 export RUST_TEST_THREADS=1
-cargo miri test -- -Zmiri-ignore-leaks
+cargo miri test