summaryrefslogtreecommitdiffstats
path: root/third_party/rust/bytes/ci/miri.sh
blob: 0158756cd3967b63bdb31c222f80bd63af07ec95 (plain)
1
2
3
4
5
6
7
8
9
10
11
#!/bin/bash
set -e

rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup

export MIRIFLAGS="-Zmiri-strict-provenance"

cargo miri test
cargo miri test --target mips64-unknown-linux-gnuabi64