From b824e95c7dfbe40e9ec64eacae62cbeeee02619a Mon Sep 17 00:00:00 2001
From: samalws-tob <129795909+samalws-tob@users.noreply.github.com>
Date: Fri, 8 Mar 2024 12:33:35 -0500
Subject: [PATCH] use measureIO on saving coverage (#1202)

---
 src/Main.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Main.hs b/src/Main.hs
index e7ac67342..5f5d12935 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -101,7 +101,7 @@ main = withUtf8 $ withCP65001 $ do
       -- TODO: We use the corpus dir to save coverage reports which is confusing.
       -- Add config option to pass dir for saving coverage report and decouple it
       -- from corpusDir.
-      unless (null cfg.campaignConf.coverageFormats) $ do
+      unless (null cfg.campaignConf.coverageFormats) $ measureIO cfg.solConf.quiet "Saving coverage" $ do
         -- We need runId to have a unique directory to save files under so they
         -- don't collide with the next runs. We use the current time for this
         -- as it orders the runs chronologically.