From 9487a7f5330e11f3dc6bb584ead49875960c7030 Mon Sep 17 00:00:00 2001 From: pantonshire Date: Fri, 29 Sep 2023 09:18:37 +0100 Subject: [PATCH] add miri test script --- test.sh | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 test.sh diff --git a/test.sh b/test.sh new file mode 100755 index 0000000..2e854b7 --- /dev/null +++ b/test.sh @@ -0,0 +1,3 @@ +#!/bin/bash +RUSTFLAGS='-Z randomize-layout' cargo +nightly miri test +