[erlang-questions] Quickcheck/PropEr: List generator not working as expected

[Magnus Klaar]

On Wed, Oct 19, 2011 at 6:24 PM, Magnus Klaar <magnus.klaar@REDACTED>wrote:

> Hi!
>
> 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.
>
> MVH Magnus
>
>
Small confusing typ, "if you start at a size greater than" should have been
"if you start at a size of".
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20111019/b545c21b/attachment.htm>