tweak failure output a little

This commit is contained in:
Ralf Jung 2022-07-19 14:44:00 -04:00
parent fb3ac74696
commit 9f9aa00f5d

View File

@ -164,11 +164,11 @@ pub fn run_tests(config: Config) -> Result<()> {
if !failures.is_empty() { if !failures.is_empty() {
for (path, miri, revision, errors, stderr) in &failures { for (path, miri, revision, errors, stderr) in &failures {
eprintln!(); eprintln!();
eprint!("{}", path.display().to_string().underline()); eprint!("{}", path.display().to_string().underline().bold());
if !revision.is_empty() { if !revision.is_empty() {
eprint!(" (revision `{}`)", revision); eprint!(" (revision `{}`)", revision);
} }
eprint!(" {}", "FAILED".red()); eprint!(" {}", "FAILED:".red().bold());
eprintln!(); eprintln!();
eprintln!("command: {:?}", miri); eprintln!("command: {:?}", miri);
eprintln!(); eprintln!();
@ -223,7 +223,7 @@ pub fn run_tests(config: Config) -> Result<()> {
eprintln!("{}", stderr); eprintln!("{}", stderr);
eprintln!(); eprintln!();
} }
eprintln!("{}", "failures:".red().underline()); eprintln!("{}", "FAILURES:".red().underline().bold());
for (path, _miri, _revision, _errors, _stderr) in &failures { for (path, _miri, _revision, _errors, _stderr) in &failures {
eprintln!(" {}", path.display()); eprintln!(" {}", path.display());
} }