test btreemap with raw ptr tracking

RalfJung · RalfJung · commit df0de77fd1b5 · 2020-11-10T16:51:55.000+01:00
diff --git a/tests/run-pass/btreemap.rs b/tests/run-pass/btreemap.rs
@@ -1,3 +1,5 @@
+// compile-flags: -Zmiri-track-raw-pointers
+// ignore-windows (FIXME: tracking raw pointers does not work on Windows)
 #![feature(btree_drain_filter)]
 use std::collections::{BTreeMap, BTreeSet};
 use std::mem;

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// compile-flags: -Zmiri-track-raw-pointers`
	`2`	`+// ignore-windows (FIXME: tracking raw pointers does not work on Windows)`
`1`	`3`	`#![feature(btree_drain_filter)]`
`2`	`4`	`use std::collections::{BTreeMap, BTreeSet};`
`3`	`5`	`use std::mem;`