Lines Matching full:miri
62 #[cfg(miri)] in len()
64 #[cfg(not(miri))] in len()
66 #[cfg(miri)] in len()
68 #[cfg(not(miri))] in len()
126 #[cfg(miri)] in spsc()
128 #[cfg(not(miri))] in spsc()
157 #[cfg(miri)] in spsc_ring_buffer()
159 #[cfg(not(miri))] in spsc_ring_buffer()
198 #[cfg(miri)] in mpmc()
200 #[cfg(not(miri))] in mpmc()
237 #[cfg(miri)] in mpmc_ring_buffer()
239 #[cfg(not(miri))] in mpmc_ring_buffer()
283 let runs: usize = if cfg!(miri) { 3 } else { 100 }; in drops()
284 let steps: usize = if cfg!(miri) { 50 } else { 10_000 }; in drops()
285 let additional: usize = if cfg!(miri) { 10 } else { 50 }; in drops()
336 #[cfg(miri)] in linearizable()
338 #[cfg(not(miri))] in linearizable()