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

Ward Bekker <>
Wed Oct 19 14:29:25 CEST 2011


See :wardbekker/proper_test.git , src/test.erl for a runnable demo app. Start with ./shell from the projects root

When I test the property `proper:quickcheck(test:prop_ends_with_double_cons_is_true()).` The following error is outputted to console:

Error: Couldn't produce an instance that satisfies all strict constraints after 50 tries.

Is seems that `?SUCHTHAT(Drow, list(consonant()), length(Drow) > 2)` can't generate valid values.

When I output the values generated by `list(consonant())` I notice that only zero or one length lists are generated. Why is that?

Thx,

Ward



More information about the erlang-questions mailing list