Function emit

benchmarks/runners/run_wolfram.mjs:36–38

(o)

const kase = suite.cases.find((c) => c.id === caseId);

function emit(o) {
  process.stdout.write(JSON.stringify({ id: caseId, tool: 'wolfram', ...o }) + '\n');
}
if (!kase) { emit({ status: 'error', error: 'unknown case' }); process.exit(0); }

const input = kase.inputs.ce;