diff --git a/rust-version b/rust-version index 53e7908f42c..2a26cb60823 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -1517f5de01c445b5124b30f02257b02b4c5ef3b2 +c396bb3b8a16b1f2762b7c6078dc3e023f6a2493 diff --git a/tests/fail/data_race/enable_after_join_to_main.rs b/tests/fail/data_race/enable_after_join_to_main.rs index 757a41adc93..290589690a3 100644 --- a/tests/fail/data_race/enable_after_join_to_main.rs +++ b/tests/fail/data_race/enable_after_join_to_main.rs @@ -1,3 +1,5 @@ +// We want to control preemption here. +//@compile-flags: -Zmiri-preemption-rate=0 //@ignore-windows: Concurrency on Windows is not supported yet. use std::thread::spawn;