From e116c73bc75188db5cae0cda3f5251c0f69b822b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Wed, 24 Apr 2019 11:30:24 +0100
Subject: Add time and date by default

---
 src/VeriFuzz/Fuzz.hs | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

(limited to 'src/VeriFuzz/Fuzz.hs')

diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs
index dd3bfd4..c0e6117 100644
--- a/src/VeriFuzz/Fuzz.hs
+++ b/src/VeriFuzz/Fuzz.hs
@@ -34,6 +34,7 @@ import           Control.Monad.Trans.State.Strict
 import           Data.ByteString                  (ByteString)
 import           Data.List                        (nubBy)
 import           Data.Text                        (Text)
+import qualified Data.Text                        as T
 import           Data.Time
 import           Hedgehog                         (Gen)
 import qualified Hedgehog.Gen                     as Hog
@@ -165,9 +166,22 @@ fuzzInDir fp src = do
     pop fp $ fuzz src
 
 fuzzMultiple
-    :: MonadFuzz m => Int -> FilePath -> Gen SourceInfo -> Fuzz m FuzzReport
+    :: MonadFuzz m
+    => Int
+    -> (Maybe FilePath)
+    -> Gen SourceInfo
+    -> Fuzz m FuzzReport
 fuzzMultiple n fp src = do
-    make fp
-    void . pop fp $ forM [1 .. n] fuzzDir
+    x <- case fp of
+        Nothing -> do
+            ct <- liftIO getZonedTime
+            return
+                .  fromText
+                .  T.pack
+                $  "output_"
+                <> formatTime defaultTimeLocale "%Y-%m-%d_%H-%M-%S" ct
+        Just f -> return f
+    make x
+    void . pop x $ forM [1 .. n] fuzzDir
     return mempty
     where fuzzDir n' = fuzzInDir (fromText $ "fuzz_" <> showT n') src
-- 
cgit