diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 23:02:40 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-23 23:02:40 +0200 |
commit | eab290581be7e3c0f504044731c076f858d24e61 (patch) | |
tree | db02e1fc9be795ade622c6561e97363324bdcf82 /src/VeriFuzz.hs | |
parent | 5af8869a15a631077dffe308e07f335cb859137a (diff) | |
download | verismith-eab290581be7e3c0f504044731c076f858d24e61.tar.gz verismith-eab290581be7e3c0f504044731c076f858d24e61.zip |
Remove old way of running tests
Diffstat (limited to 'src/VeriFuzz.hs')
0 files changed, 0 insertions, 0 deletions