|
1 | | -diff --git a/library/alloc/benches/lib.rs b/library/alloc/benches/lib.rs |
2 | | -index 638f343fb24..0561f49c967 100644 |
3 | | ---- a/library/alloc/benches/lib.rs |
4 | | -+++ b/library/alloc/benches/lib.rs |
5 | | -@@ -1,6 +1,8 @@ |
6 | | - // Disabling on android for the time being |
7 | | - // See https://github.com/rust-lang/rust/issues/73535#event-3477699747 |
8 | | - #![cfg(not(target_os = "android"))] |
9 | | -+// Disabling in Miri as these would take too long. |
10 | | -+#![cfg(not(miri))] |
11 | | - #![feature(btree_extract_if)] |
12 | | - #![feature(iter_next_chunk)] |
13 | | - #![feature(repr_simd)] |
14 | | -diff --git a/library/alloc/src/sync.rs b/library/alloc/src/sync.rs |
15 | | -index 4dea27221b7..6ae52cc7827 100644 |
16 | | ---- a/library/alloc/src/sync.rs |
17 | | -+++ b/library/alloc/src/sync.rs |
18 | | -@@ -1062,7 +1062,9 @@ pub fn try_unwrap(this: Self) -> Result<T, Self> { |
19 | | - /// |
20 | | - /// // Create a long list and clone it |
21 | | - /// let mut x = LinkedList::new(); |
22 | | -- /// for i in 0..100000 { |
23 | | -+ /// let size = 100000; |
24 | | -+ /// # let size = if cfg!(miri) { 100 } else { size }; |
25 | | -+ /// for i in 0..size { |
26 | | - /// x.push(i); // Adds i to the front of x |
27 | | - /// } |
28 | | - /// let y = x.clone(); |
29 | | -diff --git a/library/core/benches/lib.rs b/library/core/benches/lib.rs |
30 | | -index 4d14b930e41..32d15c386cb 100644 |
31 | | ---- a/library/core/benches/lib.rs |
32 | | -+++ b/library/core/benches/lib.rs |
33 | | -@@ -1,5 +1,7 @@ |
34 | | - // wasm32 does not support benches (no time). |
35 | | - #![cfg(not(target_arch = "wasm32"))] |
36 | | -+// Disabling in Miri as these would take too long. |
37 | | -+#![cfg(not(miri))] |
38 | | - #![feature(flt2dec)] |
39 | | - #![feature(test)] |
40 | | - #![feature(trusted_random_access)] |
41 | | -diff --git a/library/std/benches/lib.rs b/library/std/benches/lib.rs |
42 | | -index 4d1cf7fab7b..1b21c230a0b 100644 |
43 | | ---- a/library/std/benches/lib.rs |
44 | | -+++ b/library/std/benches/lib.rs |
45 | | -@@ -1,3 +1,5 @@ |
46 | | -+// Disabling in Miri as these would take too long. |
47 | | -+#![cfg(not(miri))] |
48 | | - #![feature(test)] |
49 | | - |
50 | | - extern crate test; |
51 | | -diff --git a/library/std/tests/process_spawning.rs b/library/std/tests/process_spawning.rs |
52 | | -index 59f67f9901f..2b7997299c5 100644 |
53 | | ---- a/library/std/tests/process_spawning.rs |
54 | | -+++ b/library/std/tests/process_spawning.rs |
55 | | -@@ -1,4 +1,6 @@ |
56 | | - #![cfg(not(target_env = "sgx"))] |
57 | | -+// Process spawning does not work in Miri. |
58 | | -+#![cfg(not(miri))] |
59 | | - |
60 | | - use std::env; |
61 | | - use std::fs; |
62 | | -diff --git a/library/std/tests/switch-stdout.rs b/library/std/tests/switch-stdout.rs |
63 | | -index 27f3e8a9b96..a80f24fcb19 100644 |
64 | | ---- a/library/std/tests/switch-stdout.rs |
65 | | -+++ b/library/std/tests/switch-stdout.rs |
66 | | -@@ -1,4 +1,6 @@ |
67 | | - #![cfg(any(target_family = "unix", target_family = "windows"))] |
68 | | -+// Calls functions that are not supported by Miri. |
69 | | -+#![cfg(not(miri))] |
70 | | - |
71 | | - use std::fs::File; |
72 | | - use std::io::{Read, Write}; |
73 | | -diff --git a/library/std/tests/thread.rs b/library/std/tests/thread.rs |
74 | | -index 4ce81f2846e..79a981d0b0d 100644 |
75 | | ---- a/library/std/tests/thread.rs |
76 | | -+++ b/library/std/tests/thread.rs |
77 | | -@@ -5,7 +5,8 @@ |
78 | | - |
79 | | - #[test] |
80 | | - #[cfg_attr(target_os = "emscripten", ignore)] |
81 | | --fn sleep() { |
82 | | -+#[cfg_attr(miri, ignore)] // Miri does not like the thread leak |
83 | | -+fn sleep_very_long() { |
84 | | - let finished = Arc::new(Mutex::new(false)); |
85 | | - let t_finished = finished.clone(); |
86 | | - thread::spawn(move || { |
0 commit comments