commit | 7678e30a9cf17f7f117d5bcc931f78c7fab82424 | [log] [tgz] |
---|---|---|
author | Tuncer Ayaz <tuncer.ayaz@gmail.com> | Wed Feb 07 00:09:56 2018 +0000 |
committer | GitHub <noreply@github.com> | Wed Feb 07 00:09:56 2018 +0000 |
tree | cae2e9e37b9b58516b1b4cc7e49b2405bb9d8f74 | |
parent | 70a8d7080c57eb448d0bcc98633fd4320f0a9bb4 [diff] | |
parent | 8907f71f21272c992fc11038df76d3ace3e28e09 [diff] |
Merge pull request #74 from nickva/reduce-tries-on-non-empty-list-shrink-test Avoid timeout in non_empty_list_shrink_test