diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-07-04 06:49:42 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-07-04 11:23:14 +0000 |
| commit | da98baa493bb79a49903c83c7d700abae2335832 (patch) | |
| tree | 7197749de5d04cf17572ade6a84077c1ccfc212c | |
| parent | 89c2596ddedbaa35673d317a90e51bc6c6933ba0 (diff) | |
Restore test filtering by substring.
Previously it was only looking for tests whose path was a prefix of the given filter
| -rw-r--r-- | src/tools/miri/tests/compiletest.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs index 73671e716ef..e07bb3c6efb 100644 --- a/src/tools/miri/tests/compiletest.rs +++ b/src/tools/miri/tests/compiletest.rs @@ -145,7 +145,8 @@ fn run_tests(mode: Mode, path: &str, target: &str, with_dependencies: bool) -> R // The files we're actually interested in (all `.rs` files). |path| { path.extension().is_some_and(|ext| ext == "rs") - && (filters.is_empty() || filters.iter().any(|f| path.starts_with(f))) + && (filters.is_empty() + || filters.iter().any(|f| path.display().to_string().contains(f))) }, // This could be used to overwrite the `Config` on a per-test basis. |_, _| None, |