From 576ebf19384f094e9473949be6c28540bd11969c Mon Sep 17 00:00:00 2001 From: Camillo Bruni Date: Tue, 2 Sep 2025 16:59:43 +0200 Subject: [PATCH] cleanup --- JetStreamDriver.js | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) diff --git a/JetStreamDriver.js b/JetStreamDriver.js index f248e11e..a39d4f89 100644 --- a/JetStreamDriver.js +++ b/JetStreamDriver.js @@ -1125,25 +1125,14 @@ class Benchmark { } updateConsoleAfterRun(scoreEntries) { - // FIXME: consider removing this mapping. - // Rename for backwards compatibility. - const legacyScoreNameMap = { - __proto__: null, - "First": "Startup", - "Worst": "Worst Case", - "MainRun": "Tests", - "Runtime": "Run time", - }; for (let [name, value] of scoreEntries) { - if (name in legacyScoreNameMap) - name = legacyScoreNameMap[name]; console.log(` ${name}:`, uiFriendlyScore(value)); } if (RAMification) { console.log(" Current Footprint:", uiFriendlyNumber(this.currentFootprint)); console.log(" Peak Footprint:", uiFriendlyNumber(this.peakFootprint)); } - console.log(" Wall time:", uiFriendlyDuration(this.endTime - this.startTime)); + console.log(" Wall-Time:", uiFriendlyDuration(this.endTime - this.startTime)); } };