Document some arguments

2023-05-09 15:33:51 +00:00 · 2023-05-09 15:33:51 +00:00 · f321c8d39d
commit f321c8d39d
parent 44e86e77e4
1 changed files with 2 additions and 0 deletions
--- 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,
    )