Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Maps R19 pecularity :)
Shrinking x..xxxxxxx.x..xx.x...x...x...xxxxxxxxxx.xxxxxxxxxxxx(16 times)
{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
146342573201743,66545743623497]],
[],[],"19"}
[{model,maps_eqc},
{init,{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
146342573201743,66545743623497]],
[],[],"19"}},
{set,{var,1},{call,maps_eqc,put,[4.0,0]}},
{set,{var,2},{call,maps_eqc,take,[4]}},
{set,{var,3},{call,maps_eqc,extract,[]}}]
maps_eqc:put(4.0, 0) -> #{4.0 => 0}
maps_eqc:take(4) -> {error, {badmatch, error}}
maps_eqc:extract() -> #{4.0 => 0}
Reason:
Post-condition failed:
common: #{4.0 => 0} /= #{}
false
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment