gistfile1.txt

{'EXIT',{{assertEqual_failed,[{module,hashtree_eqc},
                              {line,207},
                              {expression,"Res"},
                              {expected,ok},
                              {value,precondition_failed}]},
         [{hashtree_eqc,'-prop_correct/0-fun-1-',2,
                        [{file,"test/hashtree_eqc.erl"},{line,207}]},
          {hashtree_eqc,'-prop_correct/0-fun-3-',2,
                        [{file,"test/hashtree_eqc.erl"},{line,207}]}]}}
{{call,erlang,'*',[32,256]},256,4}
[{init,{state,undefined,undefined,[],[],[],{call,erlang,'*',[32,256]},256,4}},
 {set,{var,1},{call,eqc_statem,apply,[erlang,'*',[32,256]]}}]
History: []
State: {state,undefined,undefined,[],[],[],8192,256,4}
Res: precondition_failed
[]
false

gistfile2.txt

{{call,erlang,'*',[16,256]},32,4}
[{init,{state,undefined,undefined,[],[],[],{call,erlang,'*',[16,256]},32,4}},
 {set,{var,1},{call,eqc_statem,apply,[erlang,'*',[16,256]]}},
 {set,{var,2},
      {call,hashtree_eqc,start_1,
            [{state,undefined,undefined,[],[],[],{var,1},32,4}]}},
 {set,{var,3},
      {call,hashtree_eqc,write_1,
            [{var,2},
             {<<"0">>,
              <<110,212,138,92,139,28,127,31,215,213,220,127,247,2,19,2,
                179,118,2,50>>}]}},
 {set,{var,4},{call,hashtree_eqc,update_tree_1,[{var,3}]}},
 {set,{var,5},
      {call,hashtree_eqc,start_2,
            [{state,{var,4},
                    undefined,
                    [{<<"0">>,
                      <<110,212,138,92,139,28,127,31,215,213,220,127,247,2,
                        19,2,179,118,2,50>>}],
                    [],[],
                    {var,1},
                    32,4}]}},
 {set,{var,6},
      {call,hashtree_eqc,write_1,
            [{var,4},
             {<<"0">>,
              <<239,113,183,28,38,70,110,63,95,64,217,41,232,141,94,24,
                229,3,157,110>>}]}}]
History: []
State: {state,undefined,undefined,[],[],[],4096,32,4}
Res: precondition_failed
[]