vendor/memoffset/ci/miri.sh

   1 set -ex
   2
   3 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
   4 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
   5 rustup default "$MIRI_NIGHTLY"
   6
   7 rustup component add miri
   8 cargo miri setup
   9
  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