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<br><br><div class="gmail_quote">On Wed, Oct 19, 2011 at 2:29 PM, Ward Bekker <span dir="ltr"><<a href="mailto:ward@tty.nl" target="_blank">ward@tty.nl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

See git@github.com:wardbekker/proper_test.git , src/test.erl for a runnable demo app. Start with ./shell from the projects root<br>
<br>
When I test the property `proper:quickcheck(test:prop_ends_with_double_cons_is_true()).` The following error is outputted to console:<br>
<br>
Error: Couldn't produce an instance that satisfies all strict constraints after 50 tries.<br>
<br>
Is seems that `?SUCHTHAT(Drow, list(consonant()), length(Drow) > 2)` can't generate valid values.<br>
<br>
When I output the values generated by `list(consonant())` I notice that only zero or one length lists are generated. Why is that?<br>
<br>
Thx,<br>
<br>
Ward<br>
_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
</blockquote></div><br>
</div>