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; } }