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

Magnus Klaar <>
Wed Oct 19 18:26:59 CEST 2011


On Wed, Oct 19, 2011 at 6:24 PM, Magnus Klaar <>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.html>


More information about the erlang-questions mailing list