Details
Description
When we check that our mirrorable reads have been observed here, we check strict equality on all read operations. We should probably check expected <= current in case system operations overincrement our count.
When we check that our mirrorable reads have been observed here, we check strict equality on all read operations. We should probably check expected <= current in case system operations overincrement our count.