Merge pull request #74 from nickva/reduce-tries-on-non-empty-list-shrink-test
authorTuncer Ayaz <tuncer.ayaz@gmail.com>
Wed, 7 Feb 2018 00:09:56 +0000 (00:09 +0000)
committerGitHub <noreply@github.com>
Wed, 7 Feb 2018 00:09:56 +0000 (00:09 +0000)
commit7678e30a9cf17f7f117d5bcc931f78c7fab82424
treecae2e9e37b9b58516b1b4cc7e49b2405bb9d8f74
parent70a8d7080c57eb448d0bcc98633fd4320f0a9bb4
parent8907f71f21272c992fc11038df76d3ace3e28e09
Merge pull request #74 from nickva/reduce-tries-on-non-empty-list-shrink-test

Avoid timeout in non_empty_list_shrink_test