the formatting issue got fixed

diff --git a/src/libcore/tests/fmt/builders.rs b/src/libcore/tests/fmt/builders.rs
index fd7192cc151195c326c80c0b229db44c45f66f66..391250f9986409372208e3bb494dd4236ff1c78b 100644 (file)
--- a/src/libcore/tests/fmt/builders.rs
+++ b/src/libcore/tests/fmt/builders.rs
@@ -488,6 +488,7 @@ fn fmt(&self, fmt: &mut fmt::Formatter) -> fmt::Result {
 }
 
 #[test]
+#[cfg(not(miri))] // FIXME uses code in liballoc, investigate Stacked Borrows failure
 fn test_formatting_parameters_are_forwarded() {
     use std::collections::{BTreeMap, BTreeSet};
     #[derive(Debug)]

diff --git a/src/libcore/tests/fmt/mod.rs b/src/libcore/tests/fmt/mod.rs
index 3baa445e652f8f1612d2548537221bf4d7fdd7dc..df1deeaeb97b789c84387f2f69a9d26e06183d31 100644 (file)
--- a/src/libcore/tests/fmt/mod.rs
+++ b/src/libcore/tests/fmt/mod.rs
@@ -1,10 +1,9 @@
-#![cfg(not(miri))] // FIXME: A bug in Miri breaks padding in string formatting
-
 mod builders;
 mod float;
 mod num;
 
 #[test]
+#[cfg(not(miri))] // Miri cannot print pointers
 fn test_format_flags() {
     // No residual flags left by pointer formatting
     let p = "".as_ptr();
@@ -14,6 +13,7 @@ fn test_format_flags() {
 }
 
 #[test]
+#[cfg(not(miri))] // Miri cannot print pointers
 fn test_pointer_formats_data_pointer() {
     let b: &[u8] = b"";
     let s: &str = "";

diff --git a/src/libcore/tests/time.rs b/src/libcore/tests/time.rs
index f7d00304df5b6e8b1cce502d339a5f26467508b6..09aae4583482f83e41bd6574e453fedaf0500c60 100644 (file)
--- a/src/libcore/tests/time.rs
+++ b/src/libcore/tests/time.rs
@@ -287,7 +287,6 @@ fn debug_formatting_precision_two() {
 }
 
 #[test]
-#[cfg(not(miri))] // FIXME: A bug in Miri breaks padding in string formatting
 fn debug_formatting_precision_high() {
     assert_eq!(format!("{:.5?}",  Duration::new(0, 23_678)), "23.67800µs");