(n)
| 486 | }; |
| 487 | const fmtBy = (ms, unit) => (unit === 'µs' ? fmtUs(ms) : fmtT(ms)); |
| 488 | const abbrev = (n) => !n ? '' : String(n) |
| 489 | .replace('value ok, not simplified', 'not simplified') |
| 490 | .replace('numeric, not symbolic', 'numeric only') |
| 491 | .replace(/^~?(\d+) digits.*/, '$1 digits'); |
| 492 | // Correctness is assumed by default: a correct cell shows only its time, and a |
| 493 | // quality mark appears only when the result is NOT fully correct. |
| 494 | function combinedCell(tk, c, unit) { |