In HashMap, shrink capacity to a scale Sketch can reason about.
In HashMap, shrink capacity to a scale Sketch can reason about.

It had been growing to enormous sizes, depending on the hash of the key, too
large for Sketch to unroll loops that could be analyzed.

plum-umd/java-sketch,plum-umd/java-sketch,plum-umd/java-sketch,plum-umd/java-sketch