Details
-
Improvement
-
Resolution: Done
-
Minor - P4
-
None
-
None
-
Fully Compatible
-
Platforms 16 (06/24/16)
Description
All of the verify(ok) calls in mutable/document.cpp are intended to have the semantics of invariant. Since invariant is preferred over verify, they should be updated to call invariant instead.