Mark all new tests as disabled on windows

diff --git a/tests/compile-fail/data_race/read_write_race.rs b/tests/compile-fail/data_race/read_write_race.rs
index ece99b4a87a11b7db6c86fa906f0df1e75ce3042..6a5f3f7d20769f433a7d4ba228896a7d83bc5ebf 100644 (file)
--- a/tests/compile-fail/data_race/read_write_race.rs
+++ b/tests/compile-fail/data_race/read_write_race.rs
@@ -1,3 +1,4 @@
+// ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;
 

diff --git a/tests/compile-fail/data_race/relax_acquire_race.rs b/tests/compile-fail/data_race/relax_acquire_race.rs
index cc96083546a29f85f242cbde8ed0aec9c1cf626e..753d30b8f57085119732f46e2e95bccd8c6723b2 100644 (file)
--- a/tests/compile-fail/data_race/relax_acquire_race.rs
+++ b/tests/compile-fail/data_race/relax_acquire_race.rs
@@ -1,3 +1,4 @@
+// ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;
 use std::sync::atomic::{AtomicUsize, Ordering};

diff --git a/tests/compile-fail/data_race/release_seq_race.rs b/tests/compile-fail/data_race/release_seq_race.rs
index 8b3ffbcd9dd88c7e228276a4e2203685c582be87..44360f70d5d664942e443a88b9969edddf7859aa 100644 (file)
--- a/tests/compile-fail/data_race/release_seq_race.rs
+++ b/tests/compile-fail/data_race/release_seq_race.rs
@@ -1,3 +1,4 @@
+// ignore-windows: Concurrency on Windows is not supported yet.
 // compile-flags: -Zmiri-disable-isolation
 
 use std::thread::{spawn, sleep};

diff --git a/tests/compile-fail/data_race/rmw_race.rs b/tests/compile-fail/data_race/rmw_race.rs
index 9c31c79ebf13101d675d742dcfc5347b8a3459f8..9dfa2751d587ef45b23ae3287a0e55fb5cd05fa2 100644 (file)
--- a/tests/compile-fail/data_race/rmw_race.rs
+++ b/tests/compile-fail/data_race/rmw_race.rs
@@ -1,3 +1,4 @@
+// ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;
 use std::sync::atomic::{AtomicUsize, Ordering};

diff --git a/tests/compile-fail/data_race/write_write_race.rs b/tests/compile-fail/data_race/write_write_race.rs
index 22caf5f0f7f3476d5b2e0da0aeb3e19b0e21138c..0c46e5c92515748b5eab5ab5213056134b7ad8c8 100644 (file)
--- a/tests/compile-fail/data_race/write_write_race.rs
+++ b/tests/compile-fail/data_race/write_write_race.rs
@@ -1,3 +1,4 @@
+// ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;
 

diff --git a/tests/run-pass/concurrency/data_race.rs b/tests/run-pass/concurrency/data_race.rs
index bc4a4e30e89154f555e008f52e3ec1bb086d0403..40a7c162a0c18b38d084b1b897bf98fd396ada18 100644 (file)
--- a/tests/run-pass/concurrency/data_race.rs
+++ b/tests/run-pass/concurrency/data_race.rs
@@ -1,3 +1,6 @@
+// ignore-windows: Concurrency on Windows is not supported yet.
+
+
 use std::sync::atomic::{AtomicUsize, fence, Ordering};
 use std::thread::spawn;