vendor/bytes-1.7.2/ci/miri.sh

#!/bin/bash
set -e

rustup component add miri
cargo miri setup

export MIRIFLAGS="-Zmiri-strict-provenance"

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