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