Function main

scripts/rubi/benchmark.ts:452–658

()

}

function main(): void {
  const argv = process.argv;
  let suite =
    process.env.RUBI_TESTS ??
    path.join(os.homedir(), 'dev/rubi/MathematicaSyntaxTestSuite-master');
  let chapter = '1 Algebraic functions';
  let limit = Infinity;
  let sample = 0;
  let seed = 42;
  let reportPath = 'scripts/rubi/baseline-report.json';
  let rubiRules: string | null = null;
  let only = '';
  let keysFile = '';
  for (let i = 2; i < argv.length; i++) {
    switch (argv[i]) {
      case '--rubi':
        rubiRules = argv[++i];
        break;
      case '--only':
        only = argv[++i];
        break;
      case '--keys':
        // file with one `<file>#<index>` key per line — re-validate an
        // explicit set of problems (e.g. a cluster from a prior report)
        keysFile = argv[++i];
        break;
      case '--suite':
        suite = argv[++i];
        break;
      case '--chapter':
        chapter = argv[++i];
        break;
      case '--limit':
        limit = parseInt(argv[++i]);
        break;
      case '--sample':
        sample = parseInt(argv[++i]);
        break;
      case '--seed':
        seed = parseInt(argv[++i]);
        break;
      case '--report':
        reportPath = argv[++i];
        break;
      default:
        console.error(`unknown option ${argv[i]}`);
        process.exit(2);
    }
  }

  const { problems, errors } = loadTests(suite, chapter);
  console.log(
    `loaded ${problems.length} problems from "${chapter}" (${errors.length} parse errors)`
  );
  if (errors.length > 0)
    console.log(
      `  first parse errors: ${errors
        .slice(0, 3)