gistfile1.txt

24> proper:quickcheck(dispcount_prop:prop_parallel_nocrash(), [{numtests, 5000}]).
.................................................................................................................................................................................................................!
Failed: After 210 test(s).
{[{init,{state,[],undefined}}],[[{set,{var,1},{call,dispcount,checkout,[{call,erlang,element,[2,{call,dispcount,dispatcher_info,[prop_dispatch]}]}]}}],[{set,{var,2},{call,dispcount,checkout,[{call,erlang,element,[2,{call,dispcount,dispatcher_info,[prop_dispatch]}]}]}},{set,{var,3},{call,dispcount,checkout,[{call,erlang,element,[2,{call,dispcount,dispatcher_info,[prop_dispatch]}]}]}}]]}
History: {{[{init,{state,[],undefined}}],
           [[{set,{var,1},
                  {call,dispcount,checkout,
                        [{call,erlang,element,
                               [2,
                                {call,dispcount,dispatcher_info,
                                      [prop_dispatch]}]}]}}],
            [{set,{var,2},
                  {call,dispcount,checkout,
                        [{call,erlang,element,
                               [2,
                                {call,dispcount,dispatcher_info,
                                      [prop_dispatch]}]}]}},
             {set,{var,3},
                  {call,dispcount,checkout,
                        [{call,erlang,element,
                               [2,
                                {call,dispcount,dispatcher_info,
                                      [prop_dispatch]}]}]}}]]},
          []}

Shrinking (0 time(s))
{[{init,{state,[],undefined}}],[[{set,{var,1},{call,dispcount,checkout,[{call,erlang,element,[2,{call,dispcount,dispatcher_info,[prop_dispatch]}]}]}}],[{set,{var,2},{call,dispcount,checkout,[{call,erlang,element,[2,{call,dispcount,dispatcher_info,[prop_dispatch]}]}]}},{set,{var,3},{call,dispcount,checkout,[{call,erlang,element,[2,{call,dispcount,dispatcher_info,[prop_dispatch]}]}]}}]]}
false