From 52b5eddecdceeff7279c6fc58c2a1fe4c09c2b30 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 5 Mar 2021 13:03:30 +0100
Subject: [PATCH] Revert workaround changes to build.gradle
---
build.gradle | 21 ++++++++++-----------
1 file changed, 10 insertions(+), 11 deletions(-)
diff --git a/build.gradle b/build.gradle
index 343144d..9fbd97c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,7 +1,7 @@
apply plugin: 'java'
apply plugin: 'eclipse'
apply plugin: 'maven'
-//apply plugin: 'jacoco'
+apply plugin: 'jacoco'
project.version = '1.1.4-SNAPSHOT'
project.group = 'de.hhu.stups'
@@ -38,7 +38,6 @@ if (project.version.endsWith("-SNAPSHOT")) {
else {
parser_version = '2.9.27'
}
-// current stable version is 2.9.27, 2.9.28-SNAPSHOT
def tlatools_version = '1.0.2'
@@ -53,17 +52,17 @@ dependencies {
testCompile (group: 'junit', name: 'junit', version: '4.12')
}
-// jacoco {
-// toolVersion = "0.8.5"
-// reportsDir = file("$buildDir/customJacocoReportDir")
-// }
+jacoco {
+ toolVersion = "0.8.5"
+ reportsDir = file("$buildDir/customJacocoReportDir")
+}
// type 'gradle tla2b jacocoIntegrationTestReport' in order to run the jacoco code coverage analysis
-// task jacocoIntegrationTestReport(type: JacocoReport) {
-// sourceSets sourceSets.main
-// //executionData files('build/jacoco/integrationTests.exec')
-// executionData fileTree(project.rootDir.absolutePath).include("**/build/jacoco/*.exec")
-// }
+task jacocoIntegrationTestReport(type: JacocoReport) {
+ sourceSets sourceSets.main
+ //executionData files('build/jacoco/integrationTests.exec')
+ executionData fileTree(project.rootDir.absolutePath).include("**/build/jacoco/*.exec")
+}
test {
exclude('testing')
--
GitLab