You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# Use Tree Borrows instead of Stacked Borrows because epoch is not compatible with Stacked Borrows: https://github.com/crossbeam-rs/crossbeam/issues/545#issuecomment-1192785003
# Use Tree Borrows instead of Stacked Borrows because epoch is not compatible with Stacked Borrows: https://github.com/crossbeam-rs/crossbeam/issues/545#issuecomment-1192785003
33
-
# -Zmiri-compare-exchange-weak-failure-rate=0.0 is needed because some sequential tests (e.g.,
34
-
# doctest of Stealer::steal) incorrectly assume that sequential weak CAS will never fail.
35
-
# -Zmiri-preemption-rate=0 is needed because this code technically has UB and Miri catches that.
# Use Tree Borrows instead of Stacked Borrows because epoch is not compatible with Stacked Borrows: https://github.com/crossbeam-rs/crossbeam/issues/545#issuecomment-1192785003
31
+
MIRIFLAGS="${MIRIFLAGS} -Zmiri-tree-borrows" \
32
+
cargo miri test \
33
+
-p crossbeam-epoch \
34
+
-p crossbeam-skiplist \
35
+
-p crossbeam 2>&1| ts -i '%.s '
36
+
# Use Tree Borrows instead of Stacked Borrows because epoch is not compatible with Stacked Borrows: https://github.com/crossbeam-rs/crossbeam/issues/545#issuecomment-1192785003
37
+
# -Zmiri-compare-exchange-weak-failure-rate=0.0 is needed because some sequential tests (e.g.,
38
+
# doctest of Stealer::steal) incorrectly assume that sequential weak CAS will never fail.
39
+
# -Zmiri-preemption-rate=0 is needed because this code technically has UB and Miri catches that.
0 commit comments