make a test deterministic

RalfJung · RalfJung · commit 45abee46be92 · 2022-07-10T20:15:35.000-04:00
diff --git 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
@@ -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;

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// We want to control preemption here.`
	`2`	`+//@compile-flags: -Zmiri-preemption-rate=0`
`1`	`3`	`//@ignore-windows: Concurrency on Windows is not supported yet.`
`2`	`4`
`3`	`5`	`use std::thread::spawn;`