codel run

6> eqc:module(sv_codel_eqc).      
prop_codel: ...Failed! After 4 tests.
[{set,{var,1},{call,sv_codel_eqc,new,",º"}},
 {set,{var,2},{call,sv_codel_eqc,advance_time,[896]}},
 {set,{var,3},{call,sv_codel_eqc,delete,[]}},
 {set,{var,4},{call,sv_codel_eqc,new,[29,149]}},
 {set,{var,5},{call,sv_codel_eqc,advance_time,[587]}},
 {set,{var,6},{call,sv_codel_eqc,advance_time,[643]}},
 {set,{var,7},{call,sv_codel_eqc,len,[]}},
 {set,{var,8},{call,sv_codel_eqc,advance_time,[0]}},
 {set,{var,9},{call,sv_codel_eqc,advance_time,[957]}},
 {set,{var,10},{call,sv_codel_eqc,advance_time,[761]}},
 {set,{var,11},{call,sv_codel_eqc,advance_time,[764]}},
 {set,{var,12},{call,sv_codel_eqc,len,[]}},
 {set,{var,13},{call,sv_codel_eqc,in,[{e,0},4608]}},
 {set,{var,14},{call,sv_codel_eqc,len,[]}},
 {set,{var,15},{call,sv_codel_eqc,delete,[]}},
 {set,{var,16},{call,sv_codel_eqc,new,[44,133]}},
 {set,{var,17},{call,sv_codel_eqc,in,[{e,-1},4609]}},
 {set,{var,18},{call,sv_codel_eqc,in,[{e,0},4610]}},
 {set,{var,19},{call,sv_codel_eqc,in,[{e,-1},4611]}},
 {set,{var,20},{call,sv_codel_eqc,advance_time,[320]}},
 {set,{var,21},{call,sv_codel_eqc,len,[]}},
 {set,{var,22},{call,sv_codel_eqc,len,[]}},
 {set,{var,23},{call,sv_codel_eqc,advance_time,[893]}}]

sv_codel_eqc:new(44, 186) -> ok
sv_codel_eqc:advance_time(896) -> ok
sv_codel_eqc:delete() -> ok
sv_codel_eqc:new(29, 149) -> ok
sv_codel_eqc:advance_time(587) -> ok
sv_codel_eqc:advance_time(643) -> ok
sv_codel_eqc:len() -> 0
sv_codel_eqc:advance_time(0) -> ok
sv_codel_eqc:advance_time(957) -> ok
sv_codel_eqc:advance_time(761) -> ok
sv_codel_eqc:advance_time(764) -> ok
sv_codel_eqc:len() -> 0
sv_codel_eqc:in({e, 0}, 4608) -> ok
sv_codel_eqc:len() -> 1
sv_codel_eqc:delete() -> ok
sv_codel_eqc:new(44, 133) -> ok
sv_codel_eqc:in({e, -1}, 4609) -> ok
sv_codel_eqc:in({e, 0}, 4610) -> ok
sv_codel_eqc:in({e, -1}, 4611) -> ok
sv_codel_eqc:advance_time(320) -> ok
sv_codel_eqc:len() -> 3

Reason:
  Post-condition failed:
  common: 3 /= 4
Shrinking xxxxxxxxx.xx.xx.x.xxx.x.x.x.x.xxxx..x..xxxxxx(13 times)
[{set,{var,1},{call,sv_codel_eqc,new,[5,5]}},
 {set,{var,2},{call,sv_codel_eqc,in,[{e,0},4608]}},
 {set,{var,3},{call,sv_codel_eqc,delete,[]}},
 {set,{var,4},{call,sv_codel_eqc,new,[5,5]}},
 {set,{var,5},{call,sv_codel_eqc,len,[]}}]

sv_codel_eqc:new(5, 5) -> ok
sv_codel_eqc:in({e, 0}, 4608) -> ok
sv_codel_eqc:delete() -> ok
sv_codel_eqc:new(5, 5) -> ok
sv_codel_eqc:len() -> 0

Reason:
  Post-condition failed:
  common: 0 /= 1
[prop_codel]
7>