diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-05-25 21:20:51 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-25 21:23:48 +0100 |
| commit | 4fba97ba3a19c725714b5d55721368657e41daa3 (patch) | |
| tree | 134d98c4094e33d8abc1fd31ad4c880bb65f7bc7 /src/VeriFuzz/Reduce.hs | |
| parent | 0a45b7d0cfa76e8a543bc2ddffe7d4e56aaae93a (diff) | |
| download | verismith-4fba97ba3a19c725714b5d55721368657e41daa3.tar.gz verismith-4fba97ba3a19c725714b5d55721368657e41daa3.zip | |
Add synthesis fails to fuzzer
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
| -rw-r--r-- | src/VeriFuzz/Reduce.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs index 0ecde3f..b025a42 100644 --- a/src/VeriFuzz/Reduce.hs +++ b/src/VeriFuzz/Reduce.hs @@ -17,6 +17,7 @@ module VeriFuzz.Reduce ( -- $strategy reduceWithScript , reduceSynth + , reduceSynthesis , reduce , reduce_ , Replacement(..) |