Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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
Add Comment
Please, Sign In to add comment