protected function checkIfDumpWasSuccessFul(Process $process, string $outputFile)
{
if (!$process->isSuccessful()) {
throw DumpFailed::processDidNotEndSuccessfully($process);
}
if (!file_exists($outputFile)) {
throw DumpFailed::dumpfileWasNotCreated();
}
if (filesize($outputFile) === 0) {
throw DumpFailed::dumpfileWasEmpty();
}
}