[erlang-questions] Cannot make PropEr bitstring(B, U) generator to work

Motiejus Jakštys desired.mta@REDACTED
Tue Sep 11 16:06:56 CEST 2012


Hi,

I cannot get bitstring(B, U) to work. Here is a test case:

    ?FORALL(
        B,
        bitstring(8, 1),
        true
    ).

I get this error when trying to execute it:

Error: The typeserver encountered an error:
{missing_type,demobucket_prop_eunit,{type,bitstring,2}}.

What am I doing wrong?

Tested on PropEr v1.0 and v1.0-62-g80c2c73 (latest master).

Thanks,
Motiejus Jakštys



More information about the erlang-questions mailing list