diff options
| author | Jouni Hogander <jouni.hogander@unikie.com> | 2020-10-23 10:51:02 +0300 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-24 13:14:08 +0200 |
| commit | a1839e81524f4e427a4b57bca0e4633d459d3d18 (patch) | |
| tree | 9d5eb9db806ec018accd69cd9c4199b2bab32ed6 /dashboard/app/static | |
| parent | 2bb6666ca878753e46b201c508b64e338668694a (diff) | |
tools/syz-reporter: add summary and reproducer information
Diffstat (limited to 'dashboard/app/static')
| -rw-r--r-- | dashboard/app/static/common.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dashboard/app/static/common.js b/dashboard/app/static/common.js index ec5a5c767..6b15290b1 100644 --- a/dashboard/app/static/common.js +++ b/dashboard/app/static/common.js @@ -43,6 +43,7 @@ function numSort(v) { return -parseInt(v); } function floatSort(v) { return -parseFloat(v); } function reproSort(v) { return v == "C" ? 0 : v == "syz" ? 1 : 2; } function patchedSort(v) { return v == "" ? -1 : parseInt(v); } +function lineSort(v) { return -v.split(/\r\n|\r|\n/g).length } function timeSort(v) { if (v == "now") |