| 330 | const improvements = diffs.filter(({ a, b }) => a.verdict.v === 'correct' && b.verdict.v !== 'correct'); |
| 331 | const regressions = diffs.filter(({ a, b }) => a.verdict.v !== 'correct' && b.verdict.v === 'correct'); |
| 332 | function correctCount(tk) { |
| 333 | let ok = 0, tot = 0; |
| 334 | for (const c of REPORTED) { |
| 335 | if (!CATS.find((x) => x.key === c.category).corr.includes(tk)) continue; |
| 336 | tot++; |
| 337 | if (matrix[c.id][tk].verdict.v === 'correct') ok++; |
| 338 | } |
| 339 | return { ok, tot }; |
| 340 | } |
| 341 | |
| 342 | let md = ''; |
| 343 | const w = (s = '') => { md += s + '\n'; }; |