CI: run tests in Miri

This commit is contained in:
Ralf Jung
2020-08-29 12:51:22 +02:00
committed by Henri Sivonen
parent 9eb726fd6d
commit b5a04264bf
2 changed files with 21 additions and 0 deletions
+7
View File
@@ -8,3 +8,10 @@ env:
script:
- cargo test --verbose --features 'less-slow-kanji-encode less-slow-big5-hanzi-encode less-slow-gb-hanzi-encode serde'
- cargo test --verbose
matrix:
include:
- name: miri
rust: nightly
script:
- sh ci/miri.sh
+14
View File
@@ -0,0 +1,14 @@
set -ex
# Install Miri.
MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
rustup default "$MIRI_NIGHTLY"
rustup component add miri
# Run tests.
# Stacked Borrows is disabled as it costs too much RAM (due to our large tables).
cargo miri test -- -Zmiri-disable-stacked-borrows
# Restore old state in case Travis uses this cache for other jobs.
rustup default nightly