Inconsistent Updates In Sequence

From CoreASM Wiki

Currently (18:17, 11 August 2006 (PDT)) we cannot catch the following inconsistent update:

seq
add 3 to a
add 100 to a
a := {3, 100, 102}

remove 5 from a
remove 102 from a
add 102 to a


--Trident 11 August 2006