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