diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 12752a5d3..b2e74d359 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -5,7 +5,6 @@
          beStrictAboutChangesToGlobalState="true"
          beStrictAboutOutputDuringTests="true"
          beStrictAboutResourceUsageDuringSmallTests="true"
-         beStrictAboutCoversAnnotation="true"
          colors="true">
 
     <php>
diff --git a/vendor-bin/infection/composer.json b/vendor-bin/infection/composer.json
index 707b7e834..279fdffff 100644
--- a/vendor-bin/infection/composer.json
+++ b/vendor-bin/infection/composer.json
@@ -1,5 +1,5 @@
 {
     "require-dev": {
-        "infection/infection": "^0.15"
+        "infection/infection": "^0.20"
     }
-}
\ No newline at end of file
+}