From e50881bb122d722ec1f0c351d49d1ace8a3d5779 Mon Sep 17 00:00:00 2001 From: Sam Alws Date: Wed, 12 Jun 2024 14:12:58 -0400 Subject: [PATCH] emit log message when saving reproducers --- 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])]