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