From 8bd96e07f47dd24bf68b92149f262a2140abf93c Mon Sep 17 00:00:00 2001 From: al8n Date: Sat, 26 Oct 2024 08:30:19 +0800 Subject: [PATCH] Update miri_tb.sh --- ci/miri_tb.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/miri_tb.sh b/ci/miri_tb.sh index fb34df0..1ba7b28 100755 --- a/ci/miri_tb.sh +++ b/ci/miri_tb.sh @@ -28,5 +28,5 @@ cargo miri setup export MIRIFLAGS="-Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-tree-borrows -Zmiri-ignore-leaks" export RUSTFLAGS="--cfg test_$CONFIG_FLAGS" -cargo miri test --tests --target $TARGET --lib 2>&1 | ts -i '%.s ' +cargo miri test --tests --target $TARGET --lib -- --test-threads 1 2>&1 | ts -i '%.s '