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