Function extractLinks

benchmarks/wester/extract.mjs:32–37

(html)

}

function extractLinks(html) {
  const links = [];
  const pattern = /HREF="(demos\/[^"]+\/Math\.(?:problems|heat|dif|local|match))"/g;
  for (const match of html.matchAll(pattern)) links.push(match[1]);
  return [...new Set(links)];
}

function isTiming(line) {
  return /^\s*(?:\d+(?:\.\d*)?|\.\d+)\s+Second(?:s)?\s*$/.test(line);