From c72df8f4f58286747310e0a6dbdd4170e16e98ea Mon Sep 17 00:00:00 2001 From: ggrieco-tob Date: Tue, 4 Apr 2023 12:37:29 +0200 Subject: [PATCH] Show the current values for each optimization test when using the text output --- lib/Echidna/UI.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/Echidna/UI.hs b/lib/Echidna/UI.hs index bc8fb74ee..a2a33b721 100644 --- a/lib/Echidna/UI.hs +++ b/lib/Echidna/UI.hs @@ -43,7 +43,7 @@ import Echidna.Types.Campaign import Echidna.Types.Config import Echidna.Types.Corpus (corpusSize) import Echidna.Types.Coverage (scoveragePoints) -import Echidna.Types.Test (EchidnaTest(..), TestState(..), didFail, isOpen) +import Echidna.Types.Test (EchidnaTest(..), TestState(..), didFail, isOpen, isOptimizationTest) import Echidna.Types.Tx (Tx) import Echidna.Types.World (World) import Echidna.UI.Report @@ -214,6 +214,7 @@ isTerminal = (&&) <$> queryTerminal (Fd 0) <*> queryTerminal (Fd 1) statusLine :: CampaignConf -> Campaign -> String statusLine campaignConf camp = "tests: " <> show (length $ filter didFail camp.tests) <> "/" <> show (length camp.tests) + <> ", values: " <> show (map (.value) $ filter (\t -> isOptimizationTest t.testType) camp.tests) <> ", fuzzing: " <> show fuzzRuns <> "/" <> show campaignConf.testLimit <> ", cov: " <> show (scoveragePoints camp.coverage) <> ", corpus: " <> show (corpusSize camp.corpus)