From 9751ca0d20ab0acfbb2809ee573216955ab7264b Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Tue, 30 Jun 2020 16:43:46 +0200
Subject: [PATCH] Do not assume the file exists

---
 src/Runner/PhptTestCase.php | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/src/Runner/PhptTestCase.php b/src/Runner/PhptTestCase.php
index 765827d566d..7f018eb1aaa 100644
--- a/src/Runner/PhptTestCase.php
+++ b/src/Runner/PhptTestCase.php
@@ -597,17 +597,19 @@ private function renderForCoverage(string &$job): void
 
     private function cleanupForCoverage(): array
     {
-        $files  = $this->getCoverageFiles();
-        $buffer = @\file_get_contents($files['coverage']);
+        $coverage = [];
+        $files    = $this->getCoverageFiles();
 
-        if ($buffer === false) {
-            $coverage = [];
-        } else {
-            $coverage = @\unserialize($buffer);
-        }
+        if (\file_exists($files['coverage'])) {
+            $buffer = @\file_get_contents($files['coverage']);
+
+            if ($buffer !== false) {
+                $coverage = @\unserialize($buffer);
 
-        if ($coverage === false) {
-            $coverage = [];
+                if ($coverage === false) {
+                    $coverage = [];
+                }
+            }
         }
 
         foreach ($files as $file) {