From 6ba74125c78a5ee833026049f257dbeb3faeb8f2 Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Sat, 9 Mar 2024 20:32:38 +0100
Subject: [PATCH] Remove extra newlines in test report and only print coverage
 on success.

---
 crates/aiken-project/src/telemetry.rs | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/crates/aiken-project/src/telemetry.rs b/crates/aiken-project/src/telemetry.rs
index b3c1f117..958b2d03 100644
--- a/crates/aiken-project/src/telemetry.rs
+++ b/crates/aiken-project/src/telemetry.rs
@@ -346,7 +346,7 @@ fn fmt_test(
         let is_expected_failure = result.is_success();
 
         test = format!(
-            "{test}\n{}\n{}{new_line}",
+            "{test}\n{}\n{}",
             if is_expected_failure {
                 "★ counterexample"
                     .if_supports_color(Stderr, |s| s.green())
@@ -375,13 +375,12 @@ fn fmt_test(
                 })
                 .collect::<Vec<String>>()
                 .join("\n"),
-            new_line = if result.logs().is_empty() { "\n" } else { "" },
         );
     }
 
     // Labels
     if let TestResult::PropertyTestResult(PropertyTestResult { labels, .. }) = result {
-        if !labels.is_empty() {
+        if !labels.is_empty() && result.is_success() {
             test = format!(
                 "{test}\n{title}",
                 title = "· with coverage".if_supports_color(Stderr, |s| s.bold())
@@ -412,7 +411,7 @@ fn fmt_test(
     // Traces
     if !result.logs().is_empty() && result.is_success() {
         test = format!(
-            "{test}\n{title}\n{logs}\n",
+            "{test}\n{title}\n{logs}",
             title = "· with traces".if_supports_color(Stderr, |s| s.bold()),
             logs = result
                 .logs()