From 60d8675312e9732c1b27cddc72943ae0b091386d Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 9 Jun 2019 13:58:32 +0200
Subject: [PATCH] Miri: disable a slow test

---
 src/libcore/tests/num/dec2flt/mod.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/libcore/tests/num/dec2flt/mod.rs b/src/libcore/tests/num/dec2flt/mod.rs
index faeaabbf95ada..0e71426c64108 100644
--- a/src/libcore/tests/num/dec2flt/mod.rs
+++ b/src/libcore/tests/num/dec2flt/mod.rs
@@ -31,6 +31,7 @@ fn ordinary() {
     test_literal!(0.1);
     test_literal!(12345.);
     test_literal!(0.9999999);
+    #[cfg(not(miri))] // Miri is too slow
     test_literal!(2.2250738585072014e-308);
 }
 
@@ -77,6 +78,7 @@ fn zero() {
     test_literal!(0.0);
     test_literal!(1e-325);
     test_literal!(1e-326);
+    #[cfg(not(miri))] // Miri is too slow
     test_literal!(1e-500);
 }