diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-05-09 15:33:51 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-05-09 15:33:51 +0000 |
| commit | f321c8d39dcc94b960c683623fd1645c50a3269e (patch) | |
| tree | 24435458716f86879ca167489cb8bc9f0d032b8c | |
| parent | 44e86e77e41e4a3f96c8b89cbda0988ec692bdaa (diff) | |
| download | rust-f321c8d39dcc94b960c683623fd1645c50a3269e.tar.gz rust-f321c8d39dcc94b960c683623fd1645c50a3269e.zip | |
Document some arguments
| -rw-r--r-- | src/tools/miri/tests/compiletest.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/tests/compiletest.rs b/src/tools/miri/tests/compiletest.rs index 07f5d8e78a1..fe70ab3f45a 100644 --- a/src/tools/miri/tests/compiletest.rs +++ b/src/tools/miri/tests/compiletest.rs @@ -142,7 +142,9 @@ fn run_tests(mode: Mode, path: &str, target: &str, with_dependencies: bool) -> R } ui_test::run_tests_generic( config, + // The files we're actually interested in (all `.rs` files). |path| path.extension().is_some_and(|ext| ext == "rs"), + // This could be used to overwrite the `Config` on a per-test basis. |_, _| None, TextAndGha, ) |