private dumpSeedForReproducing ( ) |
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;
}
}