Merge branch 'master' of github.com:javapathfinder/jpf-core

javapathfinder · Oct 1, 2023 · d254509 · d254509
2 parents 797bb96 + 2858a4f
commit d254509
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/build.gradle b/build.gradle
@@ -274,7 +274,7 @@ test {
     description = "Runs core regression tests."
 
     dependsOn buildJars
-    finalizedBy jacocoTestReport
+    jacoco.enabled = false
 
     forkEvery = 1
     enableAssertions = true
@@ -309,7 +309,6 @@ jacoco {
 }
 
 jacocoTestReport {
-    dependsOn test
     reports {
         xml.required = false
         csv.required = false