From f72b53e84f2043c6f0b614b4e8b35c87dde07569 Mon Sep 17 00:00:00 2001 From: Pantonshire Date: Fri, 22 Jul 2022 17:44:36 +0100 Subject: [PATCH] Improve test script --- test.sh | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/test.sh b/test.sh index 691ad70..b4e0d3a 100755 --- a/test.sh +++ b/test.sh @@ -1,13 +1,15 @@ #!/bin/bash +set -e +set -o pipefail -cargo miri test --no-default-features --features serde +cargo +nightly miri test --no-default-features --features serde -cargo miri test --no-default-features --features alloc,serde +cargo +nightly miri test --no-default-features --features alloc,serde -cargo miri test +cargo +nightly miri test # 32-bit target -cargo miri test --target sparc-unknown-linux-gnu +cargo +nightly miri test --target sparc-unknown-linux-gnu # Big-endian target -cargo miri test --target mips64-unknown-linux-gnuabi64 +cargo +nightly miri test --target mips64-unknown-linux-gnuabi64