Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[crater] Work around diffs rounded to 100%
Sometimes ttx_diff reports a diff with ratio of 1.0, and we were treating this the same as if it was identical. This patch makes sure we are distinguishing between 'identical' and 'very very close' by manually nudging the percent in this case.
- Loading branch information