From 7a70efcfb27a094cce5d361c954f15b8cd8f4a12 Mon Sep 17 00:00:00 2001 From: ggrieco-tob Date: Tue, 24 Jan 2023 18:18:50 +0100 Subject: [PATCH] fix corpus path for loading and saving --- lib/Echidna/Output/Corpus.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/Echidna/Output/Corpus.hs b/lib/Echidna/Output/Corpus.hs index 3f0cc8291..032d8c8a6 100644 --- a/lib/Echidna/Output/Corpus.hs +++ b/lib/Echidna/Output/Corpus.hs @@ -8,13 +8,14 @@ import Data.ByteString qualified as BS import Data.Hashable (hash) import Data.Maybe (catMaybes) import System.Directory (createDirectoryIfMissing, makeRelativeToCurrentDirectory, doesFileExist) +import System.FilePath ((), (<.>)) import Echidna.Types.Tx import Echidna.Output.Utils saveTxs :: FilePath -> [[Tx]] -> IO () saveTxs d = mapM_ saveTx where - saveTx v = do let fn = d ++ (show . hash . show) v ++ ".txt" + saveTx v = do let fn = d (show . hash . show) v <.> "txt" b <- doesFileExist fn unless b $ encodeFile fn (toJSON v)