From a056ff5ec91f95aab7cb502b20530d935d1774a8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 22 May 2019 11:05:51 +0100
Subject: Add hat sampling to config

---
 src/VeriFuzz/Fuzz.hs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs
index 7626968..b3d76ad 100644
--- a/src/VeriFuzz/Fuzz.hs
+++ b/src/VeriFuzz/Fuzz.hs
@@ -296,9 +296,11 @@ fuzz gen conf = do
     seed  = conf ^. configProperty . propSeed
     bname = T.pack . takeBaseName . T.unpack . toTextIgnore
     genMethod = case conf ^. configProperty . propSampleMethod of
-            "hat" ->
+            "hat" -> do
+                logT "Using the hat function"
                 sampleVerilogHat (conf ^. configProperty . propSampleSize) seed gen
-            _ ->
+            _ -> do
+                logT "Using first seed"
                 sampleSeed seed gen
 
 relativeFuzzReport :: (MonadSh m) => FuzzReport -> m FuzzReport
-- 
cgit