/** * Maybe: we could add --filter options to the command here, * since now the original command is printed. */ private function dumpSeedForReproducing() { if ($this->hasFailed()) { global $argv; $command = PHPUnitCommand::fromSeedAndName($this->seed, $this->toString()); echo PHP_EOL; echo "Reproduce with:", PHP_EOL; echo $command, PHP_EOL; } }