From 1bbd65dd8ea28b36789171ce27e5b21a9b6f4004 Mon Sep 17 00:00:00 2001 From: Sam Alws Date: Fri, 8 Mar 2024 12:14:55 -0500 Subject: [PATCH] use measureIO on saving coverage --- 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.