(rows)
| 104 | const formatNumber = (n) => n.toLocaleString("en-US") |
| 105 | |
| 106 | const printTable = (rows) => { |
| 107 | const table = [ |
| 108 | ["suite", "fixture", "instDelta", "instMax", "typesDelta", "typesMax", "symbolsDelta", "status"], |
| 109 | ...rows.map((row) => [ |
| 110 | row.suite, |
| 111 | row.fixture, |
| 112 | formatNumber(row.delta.instantiations), |
| 113 | row.maxInstantiationsDelta === undefined ? "-" : formatNumber(row.maxInstantiationsDelta), |
| 114 | formatNumber(row.delta.types), |
| 115 | row.maxTypesDelta === undefined ? "-" : formatNumber(row.maxTypesDelta), |
| 116 | formatNumber(row.delta.symbols), |
| 117 | row.status |
| 118 | ]) |
| 119 | ] |
| 120 | const widths = table[0].map((_, index) => Math.max(...table.map((row) => row[index].length))) |
| 121 | for (const [index, row] of table.entries()) { |
| 122 | const line = row.map((cell, cellIndex) => cell.padEnd(widths[cellIndex])).join(" ") |
| 123 | console.log(line) |
| 124 | if (index === 0) { |
| 125 | console.log(widths.map((width) => "-".repeat(width)).join(" ")) |
| 126 | } |
| 127 | } |
| 128 | } |
| 129 | |
| 130 | const config = readJson(configPath) |
| 131 | const selectedTarget = targets[0] |
no test coverage detected