Property-Based Testing with PropEr, Erlang, and Elixir

About the Code

Code is provided in both languages in most places where it makes sense to do so. Code samples may look like the following:

Erlang                                                code/path/to/file.erl

%% This is some random code for demonstration purposes
path(_Current, Acc, _Seen, [_,_,_,_]) ->
    Acc;
path(Current, Acc, Seen, Ignore) ->
    frequency([ 
        {1, Acc}, % probabilistic stop
        {15, increase_path(Current, Acc, Seen, Ignore)}
    ]).

Elixir                                                 code/path/to/file.ex

# This is some random code for demonstration purposes
def path(_current, acc, _seen, [_,_,_,_]) do
  acc
end
def path(current, acc, seen, ignore) do
  frequency([ 
    {1, acc}, # probabilistic stop
    {15, increase_path(current, acc, seen, ignore)}
  ])
end

Code references ...