Release 20.0

oddity

Shrinking x..xxxxxxxxxx.x..x.x...x..xxxxxxxxx.x..x..xx.xxxxxxxxxxxxx(17 times)
{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
         146342573201743,66545743623497]],
       [],[]}
[{model,maps_eqc},
 {init,{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
                146342573201743,66545743623497]],
              [],[]}},
 {set,{var,1},{call,maps_eqc,populate,[puts,[{0.0,true}]]}},
 {set,{var,2},{call,maps_eqc,put,[0.0,[]]}},
 {set,{var,3},{call,maps_eqc,map,[#Fun<eqc_gen.153.53124224>,normal]}}]

S: #state{
     collisions =
       [[114329998292617, 169767086124435, 150891843982850,
         4522814646874, 146342573201743, 66545743623497]],
     contents = [],
     persist = []}


maps_eqc:populate(puts, [{-0.0, true}]) -> #{-0.0 => true}

S: #state{
     collisions =
       [[114329998292617, 169767086124435, 150891843982850,
         4522814646874, 146342573201743, 66545743623497]],
     contents = [{-0.0, true}],
     persist = []}


maps_eqc:put(0.0, []) -> #{-0.0 => []}

S: #state{
     collisions =
       [[114329998292617, 169767086124435, 150891843982850,
         4522814646874, 146342573201743, 66545743623497]],
     contents = [{0.0, []}],
     persist = []}


maps_eqc:map(#Fun<eqc_gen.153.53124224>, normal) -> #{-0.0 => 8921706823}

S: #state{
     collisions =
       [[114329998292617, 169767086124435, 150891843982850,
         4522814646874, 146342573201743, 66545743623497]],
     contents = [{0.0, <<35, 204, 0:2>>}],
     persist = []}


Reason:
  Post-condition failed:
  common: #{-0.0 => 8921706823} /= #{0.0 => <<35, 204, 0:2>>}
** exception exit: killed