Function emit

benchmarks/runners/run_ce.mjs:29–31

(o)

}

function emit(o) {
  process.stdout.write(JSON.stringify({ id: caseId, tool: 'ce', ...o }) + '\n');
}

// Median of an array of numbers.
function median(xs) {