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.hs | |
parent | 4aaa96066c1b8df14f36db99a2606eb3ddb1506f (diff) | |
download | verismith-751edc28943ed5e56dc7fce42f63f4bb8728686f.tar.gz verismith-751edc28943ed5e56dc7fce42f63f4bb8728686f.zip |
Add more fields to the FuzzReport
Diffstat (limited to 'src/VeriFuzz.hs')
0 files changed, 0 insertions, 0 deletions