From 8134d62d5b6f98b145f00db1421f39eb1fd0687b Mon Sep 17 00:00:00 2001
From: James Funk <piurafunk@users.noreply.github.com>
Date: Tue, 1 Oct 2024 23:22:28 -0600
Subject: [PATCH] Allow `--coverage-filter` to be used multiple times (#895)

---
 src/Options.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Options.php b/src/Options.php
index a1fcffbd..0347fe37 100644
--- a/src/Options.php
+++ b/src/Options.php
@@ -555,7 +555,7 @@ public static function setInputDefinition(InputDefinition $inputDefinition): voi
             new InputOption(
                 'coverage-filter',
                 null,
-                InputOption::VALUE_REQUIRED,
+                InputOption::VALUE_REQUIRED | InputOption::VALUE_IS_ARRAY,
                 '@see PHPUnit guide, chapter: ' . $chapter,
             ),
             new InputOption(