run some tests with raw pointer tracking

[rust.git] / tests / run-pass / format.rs

diff --git a/tests/run-pass/format.rs b/tests/run-pass/format.rs
index 053cce36130c72714281adf86b06626aaee5eddf..3893efcb26a1aff611512e944f2392910a447552 100644 (file)
--- a/tests/run-pass/format.rs
+++ b/tests/run-pass/format.rs
@@ -1,3 +1,5 @@
+// compile-flags: -Zmiri-track-raw-pointers
+
 fn main() {
     println!("Hello {}", 13);
     println!("{:0<width$}", "hello", width = 10);