diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-07 21:31:50 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-07 21:31:50 +0100 |
commit | 671a9a060e3f04fa7e1e53197cd77691c139d4e7 (patch) | |
tree | 9857f4785e1c2aecc35f1dddc3a8d1aec5c3aadb /src/VeriFuzz | |
parent | 08f2731b97abb6d502422a701276d38e316021ab (diff) | |
download | verismith-671a9a060e3f04fa7e1e53197cd77691c139d4e7.tar.gz verismith-671a9a060e3f04fa7e1e53197cd77691c139d4e7.zip |
Only show the seed
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 7390aee..6a0e0ad 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -223,8 +223,6 @@ sampleSeed s gen = Just x -> do liftSh . logT - $ "Chosen seed was '" - <> showT seed - <> "'" + $ showT seed return (seed, Hog.nodeValue x) in loop (100 :: Int) |