Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
In general, unordered maps should not be used for iteration, only for lookups. In this case, using an ordered map guarantees that the order in which writes are logged is consistent for a given instruction. Resolves #1499
- Loading branch information