diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-07 19:20:21 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-07 19:20:21 +0100 |
commit | b073c6214dd62c9b8d30c5ec187375828c753d0e (patch) | |
tree | 2e9d60356cce48ab52c9aed74da589e5134e45e6 /src/VeriFuzz/Fuzz.hs | |
parent | d52b98fb2672374c48f157aaa68483c39a46363d (diff) | |
download | verismith-b073c6214dd62c9b8d30c5ec187375828c753d0e.tar.gz verismith-b073c6214dd62c9b8d30c5ec187375828c753d0e.zip |
Create better command line output
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
-rw-r--r-- | src/VeriFuzz/Fuzz.hs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index 5f0ccfb..c1bbfe4 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -204,9 +204,9 @@ fuzzMultiple n fp src conf = do fuzzDir n' = fuzzInDir (fromText $ "fuzz_" <> showT n') src conf seed = conf ^. configProperty . propSeed -sampleSeed :: MonadIO m => Maybe Seed -> Gen a -> m (Seed, a) +sampleSeed :: MonadSh m => Maybe Seed -> Gen a -> m (Seed, a) sampleSeed s gen = - liftIO + liftSh $ let loop n = if n <= 0 then @@ -222,10 +222,10 @@ sampleSeed s gen = of Nothing -> loop (n - 1) Just x -> do - liftIO - . putStrLn - $ "VeriFuzz: Chosen seed was '" - <> show seed + liftSh + . logT + $ "Chosen seed was '" + <> showT seed <> "'" - pure $ (seed, Hog.nodeValue x) + return (seed, Hog.nodeValue x) in loop (100 :: Int) |