diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-09 18:54:43 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-09 18:54:43 +0100 |
commit | 76ce30d979686307babe8ebb6269072338f24910 (patch) | |
tree | f93ec5dfbd1ffa910f2082cc6772431a8384edda /src/VeriFuzz.hs | |
parent | 110d1392882cff9618997acad85af78017688c86 (diff) | |
download | verismith-76ce30d979686307babe8ebb6269072338f24910.tar.gz verismith-76ce30d979686307babe8ebb6269072338f24910.zip |
Add reduction strategy for modules
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r-- | src/VeriFuzz.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 495492f..6667827 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -166,4 +166,4 @@ runEquivalence seed gm t d k i = do where n = t <> "_" <> T.pack (show i) runReduce :: SourceInfo -> IO SourceInfo -runReduce = reduce $ flip checkEquivalence "reduce" +runReduce s = reduce (\s -> not <$> checkEquivalence s "reduce") s |