diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-05-21 15:25:22 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-21 15:25:22 +0100 |
| commit | 751edc28943ed5e56dc7fce42f63f4bb8728686f (patch) | |
| tree | 3ce5de299c26c05c2f0caa92c64672760166976b /src/VeriFuzz/Fuzz.hs | |
| parent | 4aaa96066c1b8df14f36db99a2606eb3ddb1506f (diff) | |
| download | verismith-751edc28943ed5e56dc7fce42f63f4bb8728686f.tar.gz verismith-751edc28943ed5e56dc7fce42f63f4bb8728686f.zip | |
Add more fields to the FuzzReport
Diffstat (limited to 'src/VeriFuzz/Fuzz.hs')
0 files changed, 0 insertions, 0 deletions