vendor/memoffset/ci/miri.sh

   1 set -ex
   2
   3 # Install Miri.
   4 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
   5 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
   6 rustup default "$MIRI_NIGHTLY"
   7 rustup component add miri
   8
   9 # Run tests.
  10 cargo miri test
  11 cargo miri test --all-features
  12
  13 # Restore old state in case Travis uses this cache for other jobs.
  14 rustup default nightly