From c191a2edc7a319b44b9964c08aea76c840649822 Mon Sep 17 00:00:00 2001
From: Artur Cygan <artur.cygan@trailofbits.com>
Date: Wed, 19 Apr 2023 21:01:29 +0200
Subject: [PATCH] UI: move test count to header

---
 lib/Echidna/UI/Widgets.hs | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/lib/Echidna/UI/Widgets.hs b/lib/Echidna/UI/Widgets.hs
index 2b448f464..d166e9b97 100644
--- a/lib/Echidna/UI/Widgets.hs
+++ b/lib/Echidna/UI/Widgets.hs
@@ -99,7 +99,8 @@ campaignStatus uiState = do
     pure $ joinBorders $ borderWithLabel echidnaTitle $
       summaryWidget uiState chainId
       <=>
-      hBorderWithLabel (withAttr (attrName "subtitle") $ str " Tests ")
+      hBorderWithLabel (withAttr (attrName "subtitle") $ str $
+        (" Tests (" <> show (length uiState.campaign.tests)) <> ") ")
       <=>
       inner
       <=>
@@ -127,11 +128,9 @@ summaryWidget uiState chainId =
   leftSide =
     let c = uiState.campaign in
     padLeft (Pad 1) $
-      (timeElapsedWidget uiState) <+> fill ' '
+      timeElapsedWidget uiState
       <=>
-      str ("Tests found: " <> show (length c.tests))
-      <=>
-      str ("Seed: " <> show c.genDict.defSeed)
+      str ("Seed: " <> show c.genDict.defSeed) <+> fill ' '
   middle =
     let c = uiState.campaign in
     padLeft (Pad 1) $