| 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). | |
| MIRIFLAGS="-Zmiri-disable-stacked-borrows" cargo miri test | |
| # Restore old state in case Travis uses this cache for other jobs. | |
| rustup default nightly |