diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 19:03:23 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-07 19:03:23 +0000 |
commit | e58c77ee12be243d487b1dccbee9c457dbbe0a20 (patch) | |
tree | d5546fbc09b35cc70e606eaf49350af4274b0617 /src/VeriFuzz.hs | |
parent | 5b6430a8c88956c865f6ef3fe02efdc6f13823ee (diff) | |
download | verismith-e58c77ee12be243d487b1dccbee9c457dbbe0a20.tar.gz verismith-e58c77ee12be243d487b1dccbee9c457dbbe0a20.zip |
Set the timeout to 5 mins
Diffstat (limited to 'src/VeriFuzz.hs')
0 files changed, 0 insertions, 0 deletions