rustc/vendor/bytes-1.9.0/ci/miri.sh
2025-02-17 11:14:05 +01:00

11 lines
180 B
Bash
Executable File

#!/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