diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-05-24 15:09:06 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-24 15:09:06 +0100 |
| commit | 7e67a69693c4c0964f488d87dd94f64a2efe5409 (patch) | |
| tree | 1808675bd621dc1fd95cb50f13b2b2767a5a2732 /src/VeriFuzz/Fuzz.hs | |
| parent | 5df5d613e3aaf5f14368903b5fec5596d848ef44 (diff) | |
| download | verismith-7e67a69693c4c0964f488d87dd94f64a2efe5409.tar.gz verismith-7e67a69693c4c0964f488d87dd94f64a2efe5409.zip | |
Reduction throws away path if it finds a passing one
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
| -rw-r--r-- | src/VeriFuzz/Fuzz.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/Fuzz.hs b/src/VeriFuzz/Fuzz.hs index b3d76ad..e68fc95 100644 --- a/src/VeriFuzz/Fuzz.hs +++ b/src/VeriFuzz/Fuzz.hs @@ -224,9 +224,9 @@ reduction src = do titleRun :: (MonadIO m, MonadSh m) => Text -> Fuzz m a -> Fuzz m (NominalDiffTime, a) titleRun t f = do - logT $ "--- Starting " <> t <> " ---" + logT $ "### Starting " <> t <> " ###" (diff, res) <- timeit f - logT $ "--- Finished " <> t <> " (" <> showT diff <> ") ---" + logT $ "### Finished " <> t <> " (" <> showT diff <> ") ###" return (diff, res) whenMaybe :: Applicative m => Bool -> m a -> m (Maybe a) |