| commit | 73bb310339e1ae1835e0970e62762fb6cbc11684 | [log] [tgz] |
|---|---|---|
| author | Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> | Wed May 10 14:22:58 2017 +0200 |
| committer | Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> | Wed Jul 19 22:10:34 2017 +0200 |
| tree | ddef045df3cb3d1bba98aedf2248d3b8b906fa3e | |
| parent | 6101366f36dfa7398b719ae1f32e39a9d8a3c350 [diff] |
Apply predicate when shrinking ?SUCHTHAT