chore: add pitest in pom.xml for future usage in CI (#1786)

* chore: add pitest in pom.xml for future usage in CI * Update pom.xml
INRIA · Dec 19, 2017 · 9b77e46 · 9b77e46
1 parent fd878bc
commit 9b77e46
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -473,6 +473,13 @@
           </analysisConfigurationFiles>
         </configuration>
       </plugin>
+
+      <plugin>
+            <groupId>org.pitest</groupId>
+            <artifactId>pitest-maven</artifactId>
+            <!--           We use the latest, so we don't specify an actual version number       -->
+            <!--          <version></version>-->
+      </plugin>
     </plugins>