<br><br><div class="gmail_quote">On Wed, Oct 19, 2011 at 6:24 PM, Magnus Klaar <span dir="ltr"><<a href="mailto:magnus.klaar@gmail.com">magnus.klaar@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi!<div><br></div><div>All, iirc, quickcheck-ers has a notion on the size of a value built in, this will affect the length of lists, depth of trees etc that is incremented as more tests pass to increase the complexity of the generated test cases. You are using proper, the knob in proper you need to tweak is the 'start_size' option, if you start at a size greater than 0 or 1 your length-predicate will never hold for the first value(s) in the list(constant()) sequence.</div>

<div><br></div><div>MVH Magnus<div><div></div><div class="h5"><br>
</div></div></div>
</blockquote></div><br><div>Small confusing typ, "if you start at a size greater than" should have been "if you start at a size of".</div>