-
Robert Ricci authored
sure they're within some tolerance of each other. Use this so that cumulative float point errors don't cause us to spit out scary looking false positive warnings.
6aed89a6
sure they're within some tolerance of each other. Use this so that cumulative float point errors don't cause us to spit out scary looking false positive warnings.