org.bitbucket.inkytonik.kiama.machine
A machine has performed an inconsistent update in the sense that a step has updated an item of state to two different values. m is the machine that performed the update, updates is all of the updates for the key that was updated inconsistently.
m
updates
A machine has performed an inconsistent update in the sense that a step has updated an item of state to two different values.
m
is the machine that performed the update,updates
is all of the updates for the key that was updated inconsistently.