diff options
| author | bors <bors@rust-lang.org> | 2025-09-19 15:22:22 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-09-19 15:22:22 +0000 |
| commit | 59043567a5cf12800e1457c36ad6a6b0fa02c6b6 (patch) | |
| tree | ceb1ed6622a93c560420980158f61c44d2aebffa /src/tools/miri/tests/ui.rs | |
| parent | e10aa8891182378de002bd71bf4d04181fb8231d (diff) | |
| parent | 5d404e05bc57a4ce117f8ec0275fe81655120b02 (diff) | |
| download | rust-59043567a5cf12800e1457c36ad6a6b0fa02c6b6.tar.gz rust-59043567a5cf12800e1457c36ad6a6b0fa02c6b6.zip | |
Auto merge of #146765 - Zalathar:rollup-ewh4s9o, r=Zalathar
Rollup of 10 pull requests Successful merges: - rust-lang/rust#146229 (Automatically switch to lto-fat when flag RUSTFLAGS="- Zautodiff=Enable" is set) - rust-lang/rust#146484 (rustdoc-search: JavaScript optimization based on Firefox Profiler output) - rust-lang/rust#146541 (std: simplify host lookup) - rust-lang/rust#146615 (rustc_codegen_llvm: Feature Conversion Tidying) - rust-lang/rust#146638 (`rustc_next_trait_solver`: canonical out of `EvalCtxt`) - rust-lang/rust#146663 (Allow windows resource compiler to be overridden) - rust-lang/rust#146691 (std: Fix WASI implementation of `remove_dir_all`) - rust-lang/rust#146709 (stdarch subtree update) - rust-lang/rust#146738 (Fix tidy spellchecking on Windows) - rust-lang/rust#146740 (miri subtree update) r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'src/tools/miri/tests/ui.rs')
| -rw-r--r-- | src/tools/miri/tests/ui.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/tests/ui.rs b/src/tools/miri/tests/ui.rs index b7286d9a367..efaaf9fc841 100644 --- a/src/tools/miri/tests/ui.rs +++ b/src/tools/miri/tests/ui.rs @@ -277,6 +277,8 @@ regexes! { r"\bsys/([a-z_]+)/[a-z]+\b" => "sys/$1/PLATFORM", // erase paths into the crate registry r"[^ ]*/\.?cargo/registry/.*/(.*\.rs)" => "CARGO_REGISTRY/.../$1", + // remove time print from GenMC estimation mode output. + "\nExpected verification time: .* ± .*" => "\nExpected verification time: [MEAN] ± [SD]", } enum Dependencies { |