@@ -5,30 +5,35 @@ cd "$(dirname "$0")"/..
5
5
6
6
export RUSTFLAGS=" ${RUSTFLAGS:- } -Z randomize-layout"
7
7
8
- MIRIFLAGS=" -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation" \
8
+ # disable preemption due to https://github.com/rust-lang/rust/issues/55005
9
+ MIRIFLAGS=" -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-preemption-rate=0" \
9
10
cargo miri test \
10
11
-p crossbeam-queue \
11
12
-p crossbeam-utils
12
13
13
14
# -Zmiri-ignore-leaks is needed because we use detached threads in tests/docs: https://github.com/rust-lang/miri/issues/1371
14
- MIRIFLAGS=" -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks" \
15
+ # disable preemption due to https://github.com/rust-lang/rust/issues/55005
16
+ MIRIFLAGS=" -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-preemption-rate=0" \
15
17
cargo miri test \
16
18
-p crossbeam-channel
17
19
18
20
# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579
19
21
# -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545
20
- MIRIFLAGS=" -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks" \
22
+ # disable preemption due to https://github.com/rust-lang/rust/issues/55005
23
+ MIRIFLAGS=" -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks -Zmiri-preemption-rate=0" \
21
24
cargo miri test \
22
25
-p crossbeam-epoch \
23
26
-p crossbeam-skiplist
24
27
25
28
# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579
26
29
# -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545
27
- MIRIFLAGS=" -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks -Zmiri-compare-exchange-weak-failure-rate=0.0" \
30
+ # disable preemption due to https://github.com/rust-lang/rust/issues/55005
31
+ MIRIFLAGS=" -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks -Zmiri-compare-exchange-weak-failure-rate=0.0 -Zmiri-preemption-rate=0" \
28
32
cargo miri test \
29
33
-p crossbeam-deque
30
34
31
35
# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579
32
- MIRIFLAGS=" -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-ignore-leaks" \
36
+ # disable preemption due to https://github.com/rust-lang/rust/issues/55005
37
+ MIRIFLAGS=" -Zmiri-check-number-validity -Zmiri-symbolic-alignment-check -Zmiri-ignore-leaks -Zmiri-preemption-rate=0" \
33
38
cargo miri test \
34
39
-p crossbeam
0 commit comments