pub const DEFAULT_MAX_SHAPE_DIVERGENCE: f64 = 0.5;Expand description
Default largest shape-mix divergence a candidate pair may span.
Chosen to say about the shape mix what
DEFAULT_MAX_LENGTH_RATIO
says about size: at 3.0 the two sizes alone put a pair at 0.5. Measured
over four projects between 39 and 480 kLOC, the most divergent pair
verification has ever accepted sat at 0.41, and the limit takes 15% to 36%
of the proposals out of verification without touching a single one of them.
Removing it entirely changes no group on any corpus this project has, which is what a gate that only sheds work should do. That is also why the value is not tuned against results: there are none to tune it on. What would move it is a measurement of what it costs to keep, not of what it finds.