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