gistfile1.txt

Shrinking ..........(10 time(s))
{730,last,large,[{yrbex,strong},{odup,strong},{kouksy,weak},{hhn,strong},{ubymc,strong},{nmvi,weak}]}
[{init,{state,undefined,{array,0,10,empty,10},730,large,last,[{yrbex,strong},{odup,strong},{kouksy,weak},{hhn,strong},{ubymc,strong},{nmvi,weak}]}},{set,{var,1},{call,ecirca,new,[730,last,large,[{yrbex,strong},{odup,strong},{kouksy,weak},{hhn,strong},{ubymc,strong},{nmvi,weak}]]}},{set,{var,7},{call,ecirca,push_many,[{call,erlang,element,[2,{var,1}]},1323,yrbex]}},{set,{var,9},{call,ecirca,update,[{call,erlang,element,[2,{var,1}]},311,157204338771811584]}},{set,{var,12},{call,ecirca,slice,[{call,erlang,element,[2,{var,1}]},428,245]}}]

---Result:
{postcondition,false}

---Command sequence:
MARY = ecirca:new(730, last, large, [{yrbex, strong}, {odup, strong}, {kouksy, weak}, {hhn, strong}, {ubymc, strong}, {nmvi, weak}])
ecirca:push_many(MARY#2, 1323, yrbex)
ecirca:update(MARY#2, 311, 157204338771811584)
ecirca:slice(MARY#2, 428, 245)

---States and results:
Result:
init
State was:
{state,undefined,{array,0,10,empty,10},730,large,last,[{yrbex,...},{...}|...]}
--------------------
Result:
{ok,{ecirca,#Ref<0.0.0.3331>,<<>>,<0.119.0>,large}}
State was:
{state,{ecirca,#Ref<0.0.0.3331>,<<>>,<0.119.0>,large},
       {array,0,10,empty,10},
       730,large,last,
       [{yrbex,...},{...}|...]}
--------------------
Result:
ok
State was:
{state,{ecirca,#Ref<0.0.0.3331>,<<>>,<0.119.0>,large},
       {array,730,1000,empty,{{...},...}},
       730,large,last,
       [{yrbex,...},{...}|...]}
--------------------
Result:
{ok,{yrbex,yrbex}}
State was:
{state,{ecirca,#Ref<0.0.0.3331>,<<>>,<0.119.0>,large},
       {array,730,1000,empty,{{...},...}},
       730,large,last,
       [{yrbex,...},{...}|...]}
--------------------
Result:
{ok,[yrbex,yrbex,yrbex,yrbex,yrbex,yrbex,yrbex|...]}
State was:
{state,{ecirca,#Ref<0.0.0.3331>,<<>>,<0.119.0>,large},
       {array,730,1000,empty,{{...},...}},
       730,large,last,
       [{yrbex,...},{...}|...]}
--------------------