summaryrefslogtreecommitdiff
path: root/tests/RustTest.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tests/RustTest.sh')
-rwxr-xr-xtests/RustTest.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/RustTest.sh b/tests/RustTest.sh
index 7a7606b4..a74690af 100755
--- a/tests/RustTest.sh
+++ b/tests/RustTest.sh
@@ -50,3 +50,9 @@ else
fi
cargo bench $TARGET_FLAG
+
+# RUST_NIGHTLY environment variable set in dockerfile.
+if [[ $RUST_NIGHTLY == 1 ]]; then
+ rustup +nightly component add miri
+ cargo +nightly miri test -- -Zmiri-disable-isolation
+fi