Add pit profile.

uhafner · Nov 30, 2023 · ec17c36 · ec17c36
1 parent 0055754
commit ec17c36
Showing 1 changed file with 19 additions and 0 deletions.
diff --git 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>