diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-05-09 16:40:44 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-09 16:40:44 +0100 |
commit | d50a0b5b57aae1c7558fa77c362ae2e36038b63c (patch) | |
tree | 9baedb7e8ef25c58b37ce78e65ceecb71972a43d /src/VeriFuzz/Icarus.hs | |
parent | 088b5d8694c31f8ac8276afc4fdcfd76ceb69843 (diff) | |
download | verismith-d50a0b5b57aae1c7558fa77c362ae2e36038b63c.tar.gz verismith-d50a0b5b57aae1c7558fa77c362ae2e36038b63c.zip |
Add distance function (#75)
* Add distance function
* Add distance measure for lists with testcases
* Add more distance measures for AST
* Add distance to commandline
* Fix distance always giving 0
Diffstat (limited to 'src/VeriFuzz/Icarus.hs')
0 files changed, 0 insertions, 0 deletions