print list of failed tests in summary

This commit is contained in:
Ralf Jung 2022-06-01 06:14:59 -04:00
parent f7c1b5bb0c
commit 9b9edc7440

View File

@ -209,6 +209,11 @@ pub fn run_tests(config: Config) {
eprintln!();
}
}
eprintln!("{}", "failures:".red().underline());
for (path, _miri, _revision, _errors, _stderr) in &failures {
eprintln!(" {}", path.display());
}
eprintln!();
eprintln!(
"test result: {}. {} tests failed, {} tests passed, {} ignored, {} filtered out",
"FAIL".red(),