mirror of
https://github.com/php/php-src.git
synced 2025-08-15 13:38:49 +02:00
17 lines
379 B
PHP
17 lines
379 B
PHP
<?php
|
|
|
|
require __DIR__ . '/generate_corpus_util.php';
|
|
|
|
if ($argc >= 2) {
|
|
$corpusDir = $argv[1];
|
|
} else {
|
|
$corpusDir = __DIR__ . '/corpus/execute';
|
|
}
|
|
if ($argc >= 3) {
|
|
$testDirs = array_slice($argv, 2);
|
|
} else {
|
|
$baseDir = __DIR__ . '/../..';
|
|
$testDirs = ["$baseDir/Zend/tests", "$baseDir/ext/reflection"];
|
|
}
|
|
|
|
generate_corpus_from_phpt($corpusDir, $testDirs);
|