Fix cobertura options

adrienbrault · sebastianbergmann · commit ac880d7198f2 · 2020-10-01T11:27:43.000+02:00
diff --git a/src/cli/ArgumentsBuilder.php b/src/cli/ArgumentsBuilder.php
@@ -24,6 +24,7 @@ final class ArgumentsBuilder
                 'process-uncovered',
                 'path-coverage',
                 'clover=',
+                'cobertura=',
                 'crap4j=',
                 'html=',
                 'php=',
@@ -38,6 +39,7 @@ final class ArgumentsBuilder
         'merge' => [
             'longOptions' => [
                 'clover=',
+                'cobertura=',
                 'crap4j=',
                 'html=',
                 'php=',
