diff options
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
| -rw-r--r-- | src/VeriFuzz/Fuzz.hs | 6 |
1 files changed, 4 insertions, 2 deletions
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 |