diff options
| author | Ralf Jung <post@ralfj.de> | 2019-12-07 12:38:13 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-12-07 12:38:13 +0100 |
| commit | 7ba1232b5ea8f6ab011efe2ce3fb97d955342fdb (patch) | |
| tree | 034ef55e7fabf4da05989eed650176b974863828 /src/libcore/tests | |
| parent | 0a953cd9aa8b4c8b821bc672a4408900758e7e63 (diff) | |
| download | rust-7ba1232b5ea8f6ab011efe2ce3fb97d955342fdb.tar.gz rust-7ba1232b5ea8f6ab011efe2ce3fb97d955342fdb.zip | |
libcore: ignore tests in Miri instead of removing them entirely
Diffstat (limited to 'src/libcore/tests')
| -rw-r--r-- | src/libcore/tests/num/dec2flt/mod.rs | 4 | ||||
| -rw-r--r-- | src/libcore/tests/num/flt2dec/mod.rs | 2 | ||||
| -rw-r--r-- | src/libcore/tests/num/flt2dec/strategy/dragon.rs | 2 | ||||
| -rw-r--r-- | src/libcore/tests/num/flt2dec/strategy/grisu.rs | 2 | ||||
| -rw-r--r-- | src/libcore/tests/ptr.rs | 6 | ||||
| -rw-r--r-- | src/libcore/tests/slice.rs | 8 |
6 files changed, 11 insertions, 13 deletions
diff --git a/src/libcore/tests/num/dec2flt/mod.rs b/src/libcore/tests/num/dec2flt/mod.rs index 46eacb4200a..361758f859e 100644 --- a/src/libcore/tests/num/dec2flt/mod.rs +++ b/src/libcore/tests/num/dec2flt/mod.rs @@ -53,7 +53,7 @@ fn large() { } #[test] -#[cfg(not(miri))] // Miri is too slow +#[cfg_attr(miri, ignore)] // Miri is too slow fn subnormals() { test_literal!(5e-324); test_literal!(91e-324); @@ -65,7 +65,7 @@ fn subnormals() { } #[test] -#[cfg(not(miri))] // Miri is too slow +#[cfg_attr(miri, ignore)] // Miri is too slow fn infinity() { test_literal!(1e400); test_literal!(1e309); diff --git a/src/libcore/tests/num/flt2dec/mod.rs b/src/libcore/tests/num/flt2dec/mod.rs index f85369ce40b..2f94ea2fc4b 100644 --- a/src/libcore/tests/num/flt2dec/mod.rs +++ b/src/libcore/tests/num/flt2dec/mod.rs @@ -256,7 +256,6 @@ pub fn f32_shortest_sanity_test<F>(mut f: F) where F: FnMut(&Decoded, &mut [u8]) check_shortest!(f(minf32) => b"1", -44); } -#[cfg(not(miri))] // Miri is too slow pub fn f32_exact_sanity_test<F>(mut f: F) where F: FnMut(&Decoded, &mut [u8], i16) -> (usize, i16) { let minf32 = ldexp_f32(1.0, -149); @@ -362,7 +361,6 @@ pub fn f64_shortest_sanity_test<F>(mut f: F) where F: FnMut(&Decoded, &mut [u8]) check_shortest!(f(minf64) => b"5", -323); } -#[cfg(not(miri))] // Miri is too slow pub fn f64_exact_sanity_test<F>(mut f: F) where F: FnMut(&Decoded, &mut [u8], i16) -> (usize, i16) { let minf64 = ldexp_f64(1.0, -1074); diff --git a/src/libcore/tests/num/flt2dec/strategy/dragon.rs b/src/libcore/tests/num/flt2dec/strategy/dragon.rs index 0c545b4d887..3d985c6796b 100644 --- a/src/libcore/tests/num/flt2dec/strategy/dragon.rs +++ b/src/libcore/tests/num/flt2dec/strategy/dragon.rs @@ -22,7 +22,7 @@ fn shortest_sanity_test() { } #[test] -#[cfg(not(miri))] // Miri is too slow +#[cfg_attr(miri, ignore)] // Miri is too slow fn exact_sanity_test() { // This test ends up running what I can only assume is some corner-ish case // of the `exp2` library function, defined in whatever C runtime we're diff --git a/src/libcore/tests/num/flt2dec/strategy/grisu.rs b/src/libcore/tests/num/flt2dec/strategy/grisu.rs index f8bdddfe2e4..a2c7f1b0e83 100644 --- a/src/libcore/tests/num/flt2dec/strategy/grisu.rs +++ b/src/libcore/tests/num/flt2dec/strategy/grisu.rs @@ -36,7 +36,7 @@ fn shortest_sanity_test() { } #[test] -#[cfg(not(miri))] // Miri is too slow +#[cfg_attr(miri, ignore)] // Miri is too slow fn exact_sanity_test() { // See comments in dragon.rs's exact_sanity_test for why this test is // ignored on MSVC diff --git a/src/libcore/tests/ptr.rs b/src/libcore/tests/ptr.rs index 1a6be3a9bbd..54dbe3004cd 100644 --- a/src/libcore/tests/ptr.rs +++ b/src/libcore/tests/ptr.rs @@ -291,7 +291,7 @@ fn write_unaligned_drop() { } #[test] -#[cfg(not(miri))] // Miri does not compute a maximal `mid` for `align_offset` +#[cfg_attr(miri, ignore)] // Miri does not compute a maximal `mid` for `align_offset` fn align_offset_zst() { // For pointers of stride = 0, the pointer is already aligned or it cannot be aligned at // all, because no amount of elements will align the pointer. @@ -306,7 +306,7 @@ fn align_offset_zst() { } #[test] -#[cfg(not(miri))] // Miri does not compute a maximal `mid` for `align_offset` +#[cfg_attr(miri, ignore)] // Miri does not compute a maximal `mid` for `align_offset` fn align_offset_stride1() { // For pointers of stride = 1, the pointer can always be aligned. The offset is equal to // number of bytes. @@ -323,7 +323,7 @@ fn align_offset_stride1() { } #[test] -#[cfg(not(miri))] // Miri is too slow +#[cfg_attr(miri, ignore)] // Miri is too slow fn align_offset_weird_strides() { #[repr(packed)] struct A3(u16, u8); diff --git a/src/libcore/tests/slice.rs b/src/libcore/tests/slice.rs index 6609bc3135a..e65d99bbb83 100644 --- a/src/libcore/tests/slice.rs +++ b/src/libcore/tests/slice.rs @@ -1172,7 +1172,7 @@ fn test_rotate_right() { } #[test] -#[cfg(not(miri))] // Miri is too slow +#[cfg_attr(miri, ignore)] // Miri is too slow fn brute_force_rotate_test_0() { // In case of edge cases involving multiple algorithms let n = 300; @@ -1291,7 +1291,7 @@ fn sort_unstable() { #[test] #[cfg(not(target_arch = "wasm32"))] -#[cfg(not(miri))] // Miri is too slow +#[cfg_attr(miri, ignore)] // Miri is too slow fn partition_at_index() { use core::cmp::Ordering::{Equal, Greater, Less}; use rand::rngs::StdRng; @@ -1494,7 +1494,7 @@ pub mod memchr { } #[test] -#[cfg(not(miri))] // Miri does not compute a maximal `mid` for `align_offset` +#[cfg_attr(miri, ignore)] // Miri does not compute a maximal `mid` for `align_offset` fn test_align_to_simple() { let bytes = [1u8, 2, 3, 4, 5, 6, 7]; let (prefix, aligned, suffix) = unsafe { bytes.align_to::<u16>() }; @@ -1518,7 +1518,7 @@ fn test_align_to_zst() { } #[test] -#[cfg(not(miri))] // Miri does not compute a maximal `mid` for `align_offset` +#[cfg_attr(miri, ignore)] // Miri does not compute a maximal `mid` for `align_offset` fn test_align_to_non_trivial() { #[repr(align(8))] struct U64(u64, u64); #[repr(align(8))] struct U64U64U32(u64, u64, u32); |
