SuccessConsole Output

[JaCoCo plugin] Collecting JaCoCo coverage data...
[JaCoCo plugin] **/**.exec;**/classes;**/src/main/java; locations are configured
[JaCoCo plugin] Number of found exec files for pattern **/**.exec: 13
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/pog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/coverage-reports/jacoco-unit.exec
[JaCoCo plugin] Saving matched class directories for class-pattern: **/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/classes 473 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/classes 57 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/target/classes 399 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/classes 25 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/target/classes 21 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/target/classes 34 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/target/classes 185 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/target/classes 1 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/classes 37 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctruntime/target/classes 27 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctutils/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/commandline/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/src/test/resources/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/target/classes 344 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/target/test-classes/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/classes 45 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/pog/target/classes 105 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/npp/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/prettyprinter/target/classes 4 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/framework/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/samples/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/src/test/resources/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/classes 154 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/test-classes/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/externals/target/classes 0 files
[JaCoCo plugin] Saving matched source directories for source-pattern: **/src/main/java: 
[JaCoCo plugin] Source Inclusions: **/*.java
[JaCoCo plugin] Source Exclusions: 
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java 53 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/cppgen/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/src/main/java 34 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/src/main/java 169 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/src/main/java 1 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/src/main/java 37 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctruntime/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctutils/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/src/main/java 287 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/pog/src/main/java 93 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/npp/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/prettyprinter/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/framework/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/src/main/java 137 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/builders/vdmj/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/core/src/main/java 46 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/debug/src/main/java 284 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/help/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/parsers/vdmj/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/platform/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/combinatorialtesting/src/main/java 42 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/coverageeditor/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/csk/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/developerutils/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/externaleditor/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/isatrans/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/javagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/latex/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/poviewer/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/quickinterpreter/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/rttraceviewer/src/main/java 48 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/uml2.tests/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/uml2/src/main/java 15 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/ui.tests/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/ui/src/main/java 117 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmpp/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmpp/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmpp/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmrt/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmrt/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmrt/ui/src/main/java 14 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmsl/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmsl/debug/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmsl/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/src/main/java 0 files
[JaCoCo plugin] Loading inclusions files..
[JaCoCo plugin] inclusions: []
[JaCoCo plugin] exclusions: [**/org/overture/ast/analysis/**/*.*, **/org/overture/ast/expressions/**/*.*, **/org/overture/ast/modules/**/*.*, **/org/overture/ast/node/**/*.*, **/org/overture/ast/patterns/**/*.*, **/org/overture/ast/statements/**/*.*, **/org/overture/ast/types/**/*.*, **/org/overture/codegen/ir/**/*, **/org/overture/ide/**/*]
[JaCoCo plugin] Thresholds: JacocoHealthReportThresholds [minClass=0, maxClass=0, minMethod=0, maxMethod=0, minLine=0, maxLine=0, minBranch=0, maxBranch=0, minInstruction=0, maxInstruction=0, minComplexity=0, maxComplexity=0]
[JaCoCo plugin] Publishing the results..
[JaCoCo plugin] Loading packages..
[JaCoCo plugin] Done.
[JaCoCo plugin] Overall coverage: class: 78, method: 53, line: 52, branch: 41, instruction: 53