Proper record generator

foo.erl

-module(foo).

-include_lib("proper/include/proper.hrl").

-type audio_reference_type() :: user | department | client | system.

-compile(export_all).

-record(tf_audio_reference, {
    type :: audio_reference_type(),
    reference :: binary()
}).

-type tf_audio_reference() :: #tf_audio_reference{type :: audio_reference_type(), reference :: binary()}.

-type tf_audio_reference2() :: #tf_audio_reference{}.

prop_validate_audio_reference2() ->
    ?FORALL(A, {tf_audio_reference, audio_reference_type(), binary()},
            begin
                A =:= tf_validate:validate(A)
            end).

prop_validate_audio_reference3() ->
    ?FORALL(A, #tf_audio_reference{},
            begin
                A =:= tf_validate:validate(A)
            end).

prop_validate_audio_reference4() ->
    ?FORALL(A, tf_audio_reference(),
            begin
                A =:= tf_validate:validate(A)
            end).

prop_validate_audio_reference5() ->
    ?FORALL(A, tf_audio_reference2(),
            begin
                A =:= tf_validate:validate(A)
            end).

zsh

Erlang R15B03 (erts-5.9.3) [source] [64-bit] [smp:8:8] [async-threads:0] [hipe] [kernel-poll:false]

Eshell V5.9.3  (abort with ^G)
1> application:start(piqi).
ok
2> proper:quickcheck(foo:prop_validate_audio_reference2()).
....................................................................................................
OK: Passed 100 test(s).
true
3> proper:quickcheck(foo:prop_validate_audio_reference3()).
!
Failed: After 1 test(s).
{tf_audio_reference,undefined,undefined}

Shrinking (0 time(s))
{tf_audio_reference,undefined,undefined}
false
4> proper:quickcheck(foo:prop_validate_audio_reference4()).
....................................................................................................
OK: Passed 100 test(s).
true
5> proper:quickcheck(foo:prop_validate_audio_reference5()).
!
Failed: After 1 test(s).
{tf_audio_reference,undefined,<<>>}

Shrinking .(1 time(s))
{tf_audio_reference,undefined,undefined}
false
6>