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/Reduce.hs | |
| parent | 5b6430a8c88956c865f6ef3fe02efdc6f13823ee (diff) | |
| download | verismith-e58c77ee12be243d487b1dccbee9c457dbbe0a20.tar.gz verismith-e58c77ee12be243d487b1dccbee9c457dbbe0a20.zip | |
Set the timeout to 5 mins
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
0 files changed, 0 insertions, 0 deletions