make liballoc internal test suite mostly pass in Miri

[rust.git] / src / liballoc / sync.rs

diff --git a/src/liballoc/sync.rs b/src/liballoc/sync.rs
index b7d7995b540bac75fd23000e8351cd76c66bfd1b..466e806663c7f331d9baaee713c8a16947d551bf 100644 (file)
--- a/src/liballoc/sync.rs
+++ b/src/liballoc/sync.rs
@@ -1678,6 +1678,7 @@ fn drop(&mut self) {
 
     #[test]
     #[cfg_attr(target_os = "emscripten", ignore)]
+    #[cfg(not(miri))] // Miri does not support threads
     fn manually_share_arc() {
         let v = vec![1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
         let arc_v = Arc::new(v);
@@ -1982,6 +1983,7 @@ fn test_ptr_eq() {
 
     #[test]
     #[cfg_attr(target_os = "emscripten", ignore)]
+    #[cfg(not(miri))] // Miri does not support threads
     fn test_weak_count_locked() {
         let mut a = Arc::new(atomic::AtomicBool::new(false));
         let a2 = a.clone();