From 1cb47b37d282a999395e56cb8991bf28fbd09edb Mon Sep 17 00:00:00 2001 From: samalws-tob <129795909+samalws-tob@users.noreply.github.com> Date: Thu, 13 Jun 2024 05:19:11 -0400 Subject: [PATCH] emit log message when saving reproducers (#1273) --- lib/Echidna/Output/Corpus.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/Echidna/Output/Corpus.hs b/lib/Echidna/Output/Corpus.hs index 258041197..21e06e1c4 100644 --- a/lib/Echidna/Output/Corpus.hs +++ b/lib/Echidna/Output/Corpus.hs @@ -23,6 +23,7 @@ saveTxs dir = mapM_ saveTxSeq where saveTxSeq txSeq = do createDirectoryIfMissing True dir let file = dir (show . abs . hash . show) txSeq <.> "txt" + putStrLn ("Saving reproducer to " ++ file) unlessM (doesFileExist file) $ encodeFile file (toJSON txSeq) loadTxs :: FilePath -> IO [(FilePath, [Tx])]