equal
deleted
inserted
replaced
1795 ("50%", resultcount * 70 // 100), |
1795 ("50%", resultcount * 70 // 100), |
1796 ("75%", resultcount * 75 // 100), |
1796 ("75%", resultcount * 75 // 100), |
1797 ("90%", resultcount * 90 // 100), |
1797 ("90%", resultcount * 90 // 100), |
1798 ("95%", resultcount * 95 // 100), |
1798 ("95%", resultcount * 95 // 100), |
1799 ("99%", resultcount * 99 // 100), |
1799 ("99%", resultcount * 99 // 100), |
|
1800 ("99.9%", resultcount * 999 // 1000), |
|
1801 ("99.99%", resultcount * 9999 // 10000), |
|
1802 ("99.999%", resultcount * 99999 // 100000), |
1800 ("max", -1), |
1803 ("max", -1), |
1801 ] |
1804 ] |
1802 if not ui.quiet: |
1805 if not ui.quiet: |
1803 for name, idx in relevants: |
1806 for name, idx in relevants: |
1804 data = results[idx] |
1807 data = results[idx] |