diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-09-16 05:07:31 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-09-16 05:07:31 +0000 |
| commit | 1692d12c1c43a14254d697e4b1a4abf94fd732ce (patch) | |
| tree | c9c1d0ca71448215302b0a76039364aeb26d7c93 | |
| parent | 4d824fd5b7101bddd2fdd829e474740838687ead (diff) | |
| download | rust-1692d12c1c43a14254d697e4b1a4abf94fd732ce.tar.gz rust-1692d12c1c43a14254d697e4b1a4abf94fd732ce.zip | |
fmt
| -rw-r--r-- | src/tools/miri/tests/fail/data_race/local_variable_read_race.rs | 2 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/data_race/local_variable_write_race.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/tests/fail/data_race/local_variable_read_race.rs b/src/tools/miri/tests/fail/data_race/local_variable_read_race.rs index 80d2b7b7c12..16a23f595ee 100644 --- a/src/tools/miri/tests/fail/data_race/local_variable_read_race.rs +++ b/src/tools/miri/tests/fail/data_race/local_variable_read_race.rs @@ -29,7 +29,7 @@ fn main() { // when it actually happened), we'd miss the UB in this test. // Also, the UB error should point at the write above, not the addr-of here. P.store(std::ptr::addr_of_mut!(val), Relaxed); - + // Wait for the thread to be done. t1.join().unwrap(); diff --git a/src/tools/miri/tests/fail/data_race/local_variable_write_race.rs b/src/tools/miri/tests/fail/data_race/local_variable_write_race.rs index eabbe4403c6..7e00573146c 100644 --- a/src/tools/miri/tests/fail/data_race/local_variable_write_race.rs +++ b/src/tools/miri/tests/fail/data_race/local_variable_write_race.rs @@ -28,7 +28,7 @@ fn main() { // when it actually happened), we'd miss the UB in this test. // Also, the UB error should point at the write above, not the addr-of here. P.store(std::ptr::addr_of_mut!(val), Relaxed); - + // Wait for the thread to be done. t1.join().unwrap(); |
