From 7eb3656e5f2a2496fab62f91143ec34cb00a8417 Mon Sep 17 00:00:00 2001
From: Carl Jones <jonesc162@cardiff.ac.uk>
Date: Tue, 4 Jul 2023 12:50:42 +0100
Subject: [PATCH] Change versions of pitest plugins.
---
.idea/.name | 2 +-
build.gradle | 9 +++++++--
2 files changed, 8 insertions(+), 3 deletions(-)
diff --git a/.idea/.name b/.idea/.name
index d1b5b0d..56285e5 100644
--- a/.idea/.name
+++ b/.idea/.name
@@ -1 +1 @@
-assessment-2023-starter-monopoly
\ No newline at end of file
+assessment-2024-starter-monopoly
\ No newline at end of file
diff --git a/build.gradle b/build.gradle
index 75bde12..d5e4d32 100644
--- a/build.gradle
+++ b/build.gradle
@@ -114,11 +114,11 @@ rootProject.tasks.named("jar") {
pitest {
targetClasses = ['com.cm6123.monopoly.*'] //by default "${project.group}.*"
- pitestVersion = '1.14.2' //not needed when a default PIT version should be used
+ pitestVersion = '1.9.11' //not needed when a default PIT version should be used
threads = 4
outputFormats = ['XML', 'HTML']
timestampedReports = false
- junit5PluginVersion = '1.2.0'
+ junit5PluginVersion = '1.1.2'
reportAggregator {
testStrengthThreshold.set(50)
@@ -126,4 +126,9 @@ pitest {
maxSurviving.set(3)
}
+
+
}
+
+
+
--
GitLab