diff options
| author | Ralf Jung <post@ralfj.de> | 2022-08-04 09:16:42 -0400 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-08-18 18:07:39 -0400 |
| commit | 8c8dc125b1bfca49ac8f064b365cb72a658e7cba (patch) | |
| tree | f3a2f741e3b6573b204fd4074e5fd7f7731c5c5e /library/std/src/sync/mpsc/mpsc_queue | |
| parent | 27b044433367d7305f71bcf67dd9b5be0a0bd65a (diff) | |
| download | rust-8c8dc125b1bfca49ac8f064b365cb72a658e7cba.tar.gz rust-8c8dc125b1bfca49ac8f064b365cb72a658e7cba.zip | |
make many std tests work in Miri
Diffstat (limited to 'library/std/src/sync/mpsc/mpsc_queue')
| -rw-r--r-- | library/std/src/sync/mpsc/mpsc_queue/tests.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/std/src/sync/mpsc/mpsc_queue/tests.rs b/library/std/src/sync/mpsc/mpsc_queue/tests.rs index 9f4f31ed051..34b2a9a98ac 100644 --- a/library/std/src/sync/mpsc/mpsc_queue/tests.rs +++ b/library/std/src/sync/mpsc/mpsc_queue/tests.rs @@ -13,7 +13,7 @@ fn test_full() { #[test] fn test() { let nthreads = 8; - let nmsgs = 1000; + let nmsgs = if cfg!(miri) { 100 } else { 1000 }; let q = Queue::new(); match q.pop() { Empty => {} |