From 3ae651169638fa4e6693f644174da4ab6b6f68db Mon Sep 17 00:00:00 2001 From: Ben Kimock Date: Wed, 18 Oct 2023 15:35:42 -0400 Subject: [PATCH] Add a cursed ARM target --- ci-test.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci-test.sh b/ci-test.sh index 4cc514a..8d5b43c 100644 --- a/ci-test.sh +++ b/ci-test.sh @@ -14,7 +14,7 @@ case "$1" in core) # A 64bit little-endian and a 32bit big-endian target. # (Varying the OS is totally pointless for core.) - for TARGET in x86_64-unknown-linux-gnu mips-unknown-linux-gnu; do + for TARGET in x86_64-unknown-linux-gnu mips-unknown-linux-gnu aarch64_be-unknown-linux-gnu_ilp32; do echo "::group::Testing core ($TARGET, no validation, no Stacked Borrows, symbolic alignment)" MIRIFLAGS="$DEFAULTFLAGS -Zmiri-disable-validation -Zmiri-disable-stacked-borrows -Zmiri-symbolic-alignment-check" \ ./run-test.sh core --target $TARGET --lib --tests \ @@ -36,7 +36,7 @@ core) alloc) # A 64bit little-endian and a 32bit big-endian target. # (Varying the OS is not really worth it for alloc.) - for TARGET in x86_64-unknown-linux-gnu mips-unknown-linux-gnu; do + for TARGET in x86_64-unknown-linux-gnu mips-unknown-linux-gnu aarch64_be-unknown-linux-gnu_ilp32; do echo "::group::Testing alloc ($TARGET, symbolic alignment)" MIRIFLAGS="$DEFAULTFLAGS -Zmiri-symbolic-alignment-check" \ ./run-test.sh alloc --target $TARGET --lib --tests \