Commit c26123a6 authored by Daniel Le Berre's avatar Daniel Le Berre

Added support for JaCoCo

parent 3175032e
Pipeline #71 passed with stage
in 12 minutes and 18 seconds
......@@ -6,4 +6,5 @@ cache:
mybuild:
stage: build
script:
- mvn clean install sonar:sonar
- mvn clean org.jacoco:jacoco-maven-plugin:prepare-agent install sonar:sonar -Dmaven.test.failure.ignore=true
......@@ -388,6 +388,19 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
</reportPlugins>
</configuration>
</plugin>
<plugin>
<groupId>org.jacoco</groupId>
<artifactId>jacoco-maven-plugin</artifactId>
<version>0.7.9</version>
<executions>
<execution>
<phase>pre-integration-test</phase>
<goals>
<goal>prepare-agent</goal>
</goals>
</execution>
</executions>
</plugin>
</plugins>
<pluginManagement>
<plugins>
......@@ -426,7 +439,18 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
</build>
<reporting>
<plugins>
<plugin>
<groupId>org.jacoco</groupId>
<artifactId>jacoco-maven-plugin</artifactId>
<reportSets>
<reportSet>
<reports>
<!-- select non-aggregate reports -->
<report>report</report>
</reports>
</reportSet>
</reportSets>
</plugin>
</plugins>
</reporting>
<profiles>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment