From 4499f44e35e33d8551a694bcfb99214b374f0972 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Sun, 3 Jun 2018 12:00:01 +0200
Subject: [PATCH] Make this compatible with PHPUnit 7.2

---
 src/generator/enricher/phpunit/PHPUnit.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/generator/enricher/phpunit/PHPUnit.php b/src/generator/enricher/phpunit/PHPUnit.php
index 9461d4fd..88d27a81 100644
--- a/src/generator/enricher/phpunit/PHPUnit.php
+++ b/src/generator/enricher/phpunit/PHPUnit.php
@@ -173,6 +173,7 @@ private function processUnit(fDOMDocument $unit, fDOMDocument $coverage) {
             }
 
             $result = array(
+                'UNKNOWN' => 0,
                 'PASSED'  => 0,
                 'SKIPPED'  => 0,
                 'INCOMPLETE'  => 0,