Removal of witnesses is now recorded on a per-checkpoint level, so that rewinding the tree state now restores any witnesses that were removed since the checkpoint. A number of internal consistency checks previously enforced by the property tests have been removed as they did not correctly implement this semantic, and reimplementing these consistency checks would be equivalent to reimplementing the sample tree, so these checks are now performed simply by comparison against the reference implentation. |
||
---|---|---|
.. | ||
lib.txt |