From 29ca428ffa753a300b880ee11e132ead54f4dbb7 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 9 Aug 2019 11:18:17 +0200 Subject: [PATCH] Miri is really slow --- src/libcore/tests/num/dec2flt/mod.rs | 1 + src/libcore/tests/num/flt2dec/estimator.rs | 2 +- src/libcore/tests/num/flt2dec/random.rs | 6 +++--- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/libcore/tests/num/dec2flt/mod.rs b/src/libcore/tests/num/dec2flt/mod.rs index 0e71426c641..46eacb4200a 100644 --- a/src/libcore/tests/num/dec2flt/mod.rs +++ b/src/libcore/tests/num/dec2flt/mod.rs @@ -77,6 +77,7 @@ fn infinity() { fn zero() { test_literal!(0.0); test_literal!(1e-325); + #[cfg(not(miri))] // Miri is too slow test_literal!(1e-326); #[cfg(not(miri))] // Miri is too slow test_literal!(1e-500); diff --git a/src/libcore/tests/num/flt2dec/estimator.rs b/src/libcore/tests/num/flt2dec/estimator.rs index 50fe61b5e22..c51451708f3 100644 --- a/src/libcore/tests/num/flt2dec/estimator.rs +++ b/src/libcore/tests/num/flt2dec/estimator.rs @@ -45,7 +45,7 @@ fn test_estimate_scaling_factor() { #[cfg(not(miri))] // Miri is too slow let iter = -1074..972; #[cfg(miri)] - let iter = (-1074..972).step_by(11); + let iter = (-1074..972).step_by(37); for i in iter { let expected = super::ldexp_f64(1.0, i).log10().ceil(); diff --git a/src/libcore/tests/num/flt2dec/random.rs b/src/libcore/tests/num/flt2dec/random.rs index 3db5b4c84fc..d9543793397 100644 --- a/src/libcore/tests/num/flt2dec/random.rs +++ b/src/libcore/tests/num/flt2dec/random.rs @@ -112,7 +112,7 @@ fn shortest_random_equivalence_test() { #[cfg(not(miri))] // Miri is too slow const N: usize = 10_000; #[cfg(miri)] - const N: usize = 20; + const N: usize = 10; f64_random_equivalence_test(format_shortest_opt, fallback, MAX_SIG_DIGITS, N); f32_random_equivalence_test(format_shortest_opt, fallback, MAX_SIG_DIGITS, N); @@ -146,7 +146,7 @@ fn exact_f32_random_equivalence_test() { #[cfg(not(miri))] // Miri is too slow const N: usize = 1_000; #[cfg(miri)] - const N: usize = 10; + const N: usize = 3; for k in 1..21 { f32_random_equivalence_test(|d, buf| format_exact_opt(d, buf, i16::MIN), @@ -160,7 +160,7 @@ fn exact_f64_random_equivalence_test() { #[cfg(not(miri))] // Miri is too slow const N: usize = 1_000; #[cfg(miri)] - const N: usize = 5; + const N: usize = 3; for k in 1..21 { f64_random_equivalence_test(|d, buf| format_exact_opt(d, buf, i16::MIN), -- GitLab