[erlang-questions] Quickcheck/PropEr: List generator not working as expected
Wed Oct 19 18:26:59 CEST 2011
On Wed, Oct 19, 2011 at 6:24 PM, Magnus Klaar <magnus.klaar@REDACTED>wrote:
> 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...
More information about the erlang-questions