diff options
Diffstat (limited to 'tests/RustTest.sh')
-rwxr-xr-x | tests/RustTest.sh | 6 |
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 |