diff options
| author | vasilyeva <vasilyeva@rutarget.ru> | 2017-07-03 23:25:19 +0300 |
|---|---|---|
| committer | Roman Ivanov <romani@users.noreply.github.com> | 2017-07-03 16:21:47 -0700 |
| commit | 53563a1d0161290a804575ce25a1757c2dc29f95 (patch) | |
| tree | 45eee40893c459133fa5322668b60cfbdb8f4708 /pom.xml | |
| parent | ac0d137e048b5902ebb32d8424ca2a74cab5d8ff (diff) | |
| download | checkstyle-53563a1d0161290a804575ce25a1757c2dc29f95.tar.gz | |
Issue #4400: increase coverage of pitest-checkstyle-common profile to 95%
Diffstat (limited to 'pom.xml')
| -rw-r--r-- | pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2012,7 +2012,7 @@ <!-- till https://github.com/hcoles/pitest/issues/353 --> <param>fillShortToFullModuleNamesMap</param> </excludedMethods> - <mutationThreshold>92</mutationThreshold> + <mutationThreshold>95</mutationThreshold> <timeoutFactor>${pitest.plugin.timeout.factor}</timeoutFactor> <timeoutConstant>${pitest.plugin.timeout.constant}</timeoutConstant> <threads>${pitest.plugin.threads}</threads> |