From ec17c3639899fa2ef2d0aff78fe35d80159b931e Mon Sep 17 00:00:00 2001
From: Ulli Hafner <ullrich.hafner@gmail.com>
Date: Thu, 30 Nov 2023 12:36:16 +0100
Subject: [PATCH] Add `pit` profile.

---
 pom.xml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/pom.xml b/pom.xml
index c84180ec..30e46cc6 100644
--- a/pom.xml
+++ b/pom.xml
@@ -776,6 +776,25 @@
         <gpg.skip>true</gpg.skip>
       </properties>
     </profile>
+    <profile>
+      <id>pit</id>
+      <build>
+        <plugins>
+          <plugin>
+            <groupId>org.pitest</groupId>
+            <artifactId>pitest-maven</artifactId>
+            <executions>
+              <execution>
+                <id>test</id>
+                <goals>
+                  <goal>mutationCoverage</goal>
+                </goals>
+              </execution>
+            </executions>
+          </plugin>
+        </plugins>
+      </build>
+    </profile>
     <profile>
       <id>release</id>
       <build>