Hi Daniel, In r128536, you applied a patch I submitted to correct a bug in StatsTracker that caused it to report all the wrong weights to WeightedRandomSearcher. Unfortunately, we didn't really see any coverage improvements as a result of this fix.
Do you have any intuition as to why coverage didn't improve? Thanks, -David
