Skip to content

Commit d58c42b

Browse files
committed
Erase non-pal sys platform paths
1 parent 96cfc75 commit d58c42b

File tree

1 file changed

+4
-2
lines changed
  • src/tools/miri/tests

1 file changed

+4
-2
lines changed

src/tools/miri/tests/ui.rs

+4-2
Original file line numberDiff line numberDiff line change
@@ -270,13 +270,15 @@ regexes! {
270270
// erase thread caller ids
271271
r"call [0-9]+" => "call ID",
272272
// erase platform module paths
273-
"sys::pal::[a-z]+::" => "sys::pal::PLATFORM::",
273+
r"\bsys::pal::[a-z]+::" => "sys::pal::PLATFORM::",
274+
r"\bsys::([a-z_]+)::[a-z]+::" => "sys::$1::PLATFORM::",
274275
// Windows file paths
275276
r"\\" => "/",
276277
// erase Rust stdlib path
277278
"[^ \n`]*/(rust[^/]*|checkout)/library/" => "RUSTLIB/",
278279
// erase platform file paths
279-
"sys/pal/[a-z]+/" => "sys/pal/PLATFORM/",
280+
r"\bsys/pal/[a-z]+/" => "sys/pal/PLATFORM/",
281+
r"\bsys/([a-z_]+)/[a-z]+\b" => "sys/$1/PLATFORM",
280282
// erase paths into the crate registry
281283
r"[^ ]*/\.?cargo/registry/.*/(.*\.rs)" => "CARGO_REGISTRY/.../$1",
282284
}

0 commit comments

Comments
 (0)