Where a simulation ends: the last state, every message update accepted and every command it started, in order, every event, and every message of a command that update rejected (ignored).
update
ignored
Where a simulation ends: the last state, every message
updateaccepted and every command it started, in order, every event, and every message of a command thatupdaterejected (ignored).