mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-05 03:36:21 +00:00
19 lines
562 B
Bash
Executable File
19 lines
562 B
Bash
Executable File
#!/bin/bash
|
|
set -eux
|
|
|
|
# We need Tree Borrows as some of our raw pointer patterns are not
|
|
# compatible with Stacked Borrows.
|
|
export MIRIFLAGS="-Zmiri-tree-borrows"
|
|
|
|
# One target that sets `mem-unaligned` and one that does not,
|
|
# and a big-endian target.
|
|
targets=(
|
|
x86_64-unknown-linux-gnu
|
|
armv7-unknown-linux-gnueabihf
|
|
s390x-unknown-linux-gnu
|
|
)
|
|
for target in "${targets[@]}"; do
|
|
# Only run the `mem` tests to avoid this taking too long.
|
|
cargo miri test --manifest-path builtins-test/Cargo.toml --features no-asm --target "$target" -- mem
|
|
done
|