1<?php
2
3require __DIR__ . '/generate_corpus_util.php';
4
5if ($argc >= 2) {
6    $corpusDir = $argv[1];
7} else {
8    $corpusDir = __DIR__ . '/corpus/execute';
9}
10if ($argc >= 3) {
11    $testDirs = array_slice($argv, 2);
12} else {
13    $baseDir = __DIR__ . '/../..';
14    $testDirs = ["$baseDir/Zend/tests", "$baseDir/ext/reflection"];
15}
16
17generate_corpus_from_phpt($corpusDir, $testDirs);
18