diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-13 18:52:30 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 18:52:30 +0100 |
commit | 4cc5c1c82e43e5061628991e62be0814142acbd2 (patch) | |
tree | 00563747ccf51efc3626808fb9e06c62a9643844 /src/VeriFuzz/Reduce.hs | |
parent | b13e0dd1c79f738bfac284a8b923f71e4cfbc822 (diff) | |
download | verismith-4cc5c1c82e43e5061628991e62be0814142acbd2.tar.gz verismith-4cc5c1c82e43e5061628991e62be0814142acbd2.zip |
Add reduction to fuzz run
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
-rw-r--r-- | src/VeriFuzz/Reduce.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index 91b79ad..5de340a 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -381,7 +381,7 @@ reduceWithScript top script file = do srcInfo <- liftIO . parseSourceInfoFile top $ Shelly.toTextIgnore file void $ reduce (runScript script file) srcInfo --- | Reduce a 'SourceInfo' using two Synthesisers that are passed to it. +-- | Reduce a 'SourceInfo' using two 'Synthesiser' that are passed to it. reduceSynth :: (Synthesiser a, Synthesiser b, MonadSh m) => a -> b |