Skip to content

Latest commit

 

History

History
112 lines (106 loc) · 3.88 KB

bound5.md

File metadata and controls

112 lines (106 loc) · 3.88 KB
Raw

Report for elm-test shrinking on "bound5"

This report was generated with elm-test 2.0.0

Normalization

elm-test currently normalizes this example to:

  • [[-18543],[],[-14226],[],[]]
  • [[-1],[16009,16759],[],[],[]]
  • [[-1],[16332,16436],[],[],[]]
  • [[-1],[21438,11330],[],[],[]]
  • [[-9427],[14027,18741],[18163,1949,12656],[],[-23342]]
  • [[11800,20968],[11273,22775],[],[],[]]
  • [[1235,31533],[],[],[],[-1]]
  • [[14179,19855],[],[89,15659,17034],[],[]]
  • [[3298,30750],[14416,18352],[],[],[]]
  • [[3564,29204],[],[],[],[-1]]
  • [[512,32256],[16388,17660],[],[],[]]
  • [[7075,26127],[5796,27818],[],[],[]]
  • [[],[-11189],[],[-21580],[]]
  • [[],[-15220],[],[-17549],[]]
  • [[],[-196],[],[-32573],[]]
  • [[],[-1],[13,32755],[],[]]
  • [[],[-1],[1636,31132],[],[]]
  • [[],[-1],[3547,29221],[],[]]
  • [[],[-1],[7203,25565],[],[]]
  • [[],[-4315],[],[-6937,-21517],[]]
  • [[],[-5270],[-244,-22228],[-200,-204,-4623],[]]
  • [[],[13023,19745],[],[],[-1]]
  • [[],[1375,31393],[],[],[-1]]
  • [[],[22238,10530],[],[],[-1]]
  • [[],[23250,9518],[],[],[-1]]
  • [[],[26344,6424],[],[],[-1]]
  • [[],[27339,5429],[],[],[-1]]
  • [[],[4427,13079,15262],[],[1970,32078],[]]
  • [[],[8208,24560],[4102,29946],[],[]]
  • [[],[],[-10432],[],[-22337]]
  • [[],[],[-11091],[],[-21678]]
  • [[],[],[-1157],[],[-31612]]
  • [[],[],[-12074],[-20695],[]]
  • [[],[],[-12236],[-20533],[]]
  • [[],[],[-12239],[-20530],[]]
  • [[],[],[-13963],[-18806],[]]
  • [[],[],[-14233],[],[-18536]]
  • [[],[],[-14280],[],[-18489]]
  • [[],[],[-14436],[-18333],[]]
  • [[],[],[-14866],[],[-17903]]
  • [[],[],[-15048],[],[-17721]]
  • [[],[],[-169],[-31881],[-95,-192,-207,-225]]
  • [[],[],[-1943],[-30826],[]]
  • [[],[],[-19624],[-13145],[]]
  • [[],[],[-1],[1643,31125],[]]
  • [[],[],[-1],[16517,16251],[]]
  • [[],[],[-1],[24751,8017],[]]
  • [[],[],[-1],[27637,5131],[]]
  • [[],[],[-1],[32605,163],[]]
  • [[],[],[-1],[32726,42],[]]
  • [[],[],[-1],[4211,28557],[]]
  • [[],[],[-1],[5430,27338],[]]
  • [[],[],[-1],[9147,23621],[]]
  • [[],[],[-1],[9174,23594],[]]
  • [[],[],[-1],[9999,22769],[]]
  • [[],[],[-20492],[-12277],[]]
  • [[],[],[-2351],[-30418],[]]
  • [[],[],[-2560],[-30209],[]]
  • [[],[],[-26294],[-6475],[]]
  • [[],[],[-27580],[-5189],[]]
  • [[],[],[-2976],[-29793],[]]
  • [[],[],[-3575],[],[-12753,-16441]]
  • [[],[],[-4775],[],[-27994]]
  • [[],[],[-4811],[],[-27958]]
  • [[],[],[-5444],[],[-27325]]
  • [[],[],[-6814],[],[-7935,-18020]]
  • [[],[],[-6912],[-25857],[]]
  • [[],[],[-7234],[],[-25535]]
  • [[],[],[-7360],[-1683,-23726],[]]
  • [[],[],[-7807],[-24962],[]]
  • [[],[],[-784],[-25443],[-6542]]
  • [[],[],[-82],[-4361],[-28326]]
  • [[],[],[-8580],[],[-24189]]
  • [[],[],[-8900],[-23869],[]]
  • [[],[],[-9977],[],[-22792]]
  • [[],[],[1,14261,18507],[],[11075,22972]]
  • [[],[],[10890,21878],[],[-1]]
  • [[],[],[12806,19962],[15372,18676],[]]
  • [[],[],[5994,26774],[],[-1]]
  • [[],[],[],[-10464],[-22305]]
  • [[],[],[],[-11026],[-21743]]
  • [[],[],[],[-11296],[-21473]]
  • [[],[],[],[-13929],[-18840]]
  • [[],[],[],[-1],[2430,30338]]
  • [[],[],[],[-1],[7639,25129]]
  • [[],[],[],[-1],[9387,23381]]
  • [[],[],[],[-21426],[-11343]]
  • [[],[],[],[-21463],[-11306]]
  • [[],[],[],[-26420],[-6349]]
  • [[],[],[],[-3247],[-29522]]
  • [[],[],[],[-3608],[-29161]]
  • [[],[],[],[-5537],[-27232]]
  • [[],[],[],[-7121],[-25648]]
  • [[],[],[],[-7140],[-9066,-16563]]
  • [[],[],[],[-9596],[-23173]]
  • [[],[],[],[12607,20161],[-1]]
  • [[],[],[],[13280,19488],[-1]]
  • [[],[],[],[15518,17250],[-1]]
  • [[],[],[],[23687,9081],[-1]]
  • [[],[],[],[7244,26804],[12999,19769]]

Performance

Over 100 runs, elm-test performed between 117 and 833 evaluations during each run's shrinking, with a mean cost of 475.