From 78b940ff19a5b91ef49632541b017202a90e8bca Mon Sep 17 00:00:00 2001 From: Pantonshire Date: Thu, 21 Jul 2022 10:20:09 +0100 Subject: [PATCH] Bash script for miri testing --- test.sh | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 test.sh diff --git a/test.sh b/test.sh new file mode 100755 index 0000000..4c6420a --- /dev/null +++ b/test.sh @@ -0,0 +1,9 @@ +#!/bin/bash + +cargo miri test + +# 32-bit target +cargo miri test --target sparc-unknown-linux-gnu + +# Big-endian target +cargo miri test --target mips64-unknown-linux-gnuabi64