diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-22 11:05:51 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-22 11:05:51 +0100 |
commit | a056ff5ec91f95aab7cb502b20530d935d1774a8 (patch) | |
tree | d4470168420fee10385074b7f577c32295ddbc1d /src/VeriFuzz | |
parent | fca2988da194d41b04321ad46d7dd3b905613c15 (diff) | |
download | verismith-a056ff5ec91f95aab7cb502b20530d935d1774a8.tar.gz verismith-a056ff5ec91f95aab7cb502b20530d935d1774a8.zip |
Add hat sampling to config
Diffstat (limited to 'src/VeriFuzz')
-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 |