Functions

  • The change-set produced by the stackless VM guarantees that for a global resource, if the underlying value is not changed in the execution, there will not be an entry in the change set. The same guarantee is not provided by the Move VM. In Move VM, we could borrow_global_mut but write the same value back instead of an updated value. In this case, the Move VM produces an entry in the change_set.
  • The result returned by the stackless VM does not contain code offsets and indices. In order to do cross-vm comparison, we need to adapt the Move VM result by removing these fields.