From: Jeanderson Candido <jeandersonbc@gmail.com>
Date: Wed, 20 Jun 2018 02:35:29 +0000 (-0300)
Subject: Extra - Added Jacoco for test coverage analysis
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=b92547f6d91beefd4752e58cf7c02c9ed5bf132d;ds=sidebyside

Extra - Added Jacoco for test coverage analysis
---

diff --git a/build.gradle b/build.gradle
index 847a5dd..c2db9bc 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,6 +1,7 @@
 plugins {
     id "com.gradle.build-scan" version "1.14"
     id "java"
+    id "jacoco"
 }
 
 sourceCompatibility = 1.8
@@ -19,6 +20,13 @@ buildScan {
     termsOfServiceAgree = 'yes'
 }
 
+jacocoTestReport {
+    reports {
+        xml.enabled = true
+        html.enabled = false
+    }
+}
+
 repositories {
     mavenCentral()
 }