Details
-
Improvement
-
Resolution: Incomplete
-
Major - P3
-
None
-
None
-
None
-
None
-
Storage NYC 2019-05-06
-
8
Description
The code uses the side-writes table to determine if all writes are applied, but we should also invariant that the number applied equals the number drained.