diff options
author | Roman Ivanov <ivanov-jr@mail.ru> | 2017-12-29 06:41:53 -0800 |
---|---|---|
committer | Roman Ivanov <romani@users.noreply.github.com> | 2017-12-29 12:00:24 -0800 |
commit | 04c91dda4f4dc3a3c70b21e6a70222d6ecabfcb9 (patch) | |
tree | c6c141ab06427c18aea8635e113750d1afe8e6a4 | |
parent | 4ff16354a51829216a0a8d05e95858121c367c2f (diff) | |
download | checkstyle-04c91dda4f4dc3a3c70b21e6a70222d6ecabfcb9.tar.gz |
config: bump pitest to 1.3.1
-rw-r--r-- | pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -226,7 +226,7 @@ <java.version>1.8</java.version> <tools.jar.version>${java.version}.0</tools.jar.version> <tools.jar.path>${java.home}/../lib/tools.jar</tools.jar.path> - <pitest.plugin.version>1.2.5</pitest.plugin.version> + <pitest.plugin.version>1.3.1</pitest.plugin.version> <pitest.plugin.timeout.factor>10</pitest.plugin.timeout.factor> <pitest.plugin.timeout.constant>50000</pitest.plugin.timeout.constant> <pitest.plugin.threads>4</pitest.plugin.threads> |