diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 18:14:27 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 18:14:27 +0000 |
commit | a0cc699e8b90375d2dcd13f0f549d9b70feee442 (patch) | |
tree | 4f1e541781aaa1a9bf96777fddc2377408e1f5b8 /src/VeriFuzz/Icarus.hs | |
parent | 75d363184e02ca504905ce5ba8158b5da49b890d (diff) | |
download | verismith-a0cc699e8b90375d2dcd13f0f549d9b70feee442.tar.gz verismith-a0cc699e8b90375d2dcd13f0f549d9b70feee442.zip |
Reduce the timeout
Diffstat (limited to 'src/VeriFuzz/Icarus.hs')
0 files changed, 0 insertions, 0 deletions