1#!/bin/bash 2set -e 3 4rustup toolchain install nightly --component miri 5rustup override set nightly 6cargo miri setup 7 8export MIRIFLAGS="-Zmiri-strict-provenance" 9 10cargo miri test 11cargo miri test --target mips64-unknown-linux-gnuabi64 12