UnstableConsole Output

Started by GitHub push by peterwvj
Running as SYSTEM
Building on master in workspace /var/lib/jenkins/workspace/overture-pvj-main
No credentials specified
 > /usr/bin/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > /usr/bin/git config remote.origin.url https://github.com/overturetool/overture.git # timeout=10
Fetching upstream changes from https://github.com/overturetool/overture.git
 > /usr/bin/git --version # timeout=10
 > /usr/bin/git fetch --tags --progress -- https://github.com/overturetool/overture.git +refs/heads/pvj/main:refs/remotes/origin/pvj/main # timeout=10
 > /usr/bin/git rev-parse refs/remotes/origin/pvj/main^{commit} # timeout=10
 > /usr/bin/git rev-parse refs/remotes/origin/refs/heads/pvj/main^{commit} # timeout=10
Checking out Revision 50da1bede0cb5308d4caa79a5778d3648baf939b (refs/remotes/origin/pvj/main)
 > /usr/bin/git config core.sparsecheckout # timeout=10
 > /usr/bin/git checkout -f 50da1bede0cb5308d4caa79a5778d3648baf939b # timeout=10
Commit message: "Guard against missing module names"
 > /usr/bin/git rev-list --no-walk 8ba01645980266663ee810b6f9b16deb32a8deed # timeout=10
[overture-pvj-main] $ mvn -f pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/overture-pvj-main/.repository clean -Dtycho.mode=maven
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
[INFO] Scanning for projects...
[WARNING] The project org.overturetool:root:pom:2.7.5-SNAPSHOT uses prerequisites which is only intended for maven-plugin projects but not for non maven-plugin projects. For such purposes you should use the maven-enforcer-plugin. See https://maven.apache.org/enforcer/enforcer-rules/requireMavenVersion.html
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO] 
[INFO] The Overture Tool Platform root                                    [pom]
[INFO] Overture External Resources                                        [jar]
[INFO] Core Tools                                                         [pom]
[INFO] The Overture Abstract Syntax Tree                                  [jar]
[INFO] Test Framework for Overture                                        [jar]
[INFO] The VDM parser                                                     [jar]
[INFO] The VDM Type Checker                                               [jar]
[INFO] Overture Testing                                                   [pom]
[INFO] Overture Testing Framework                                         [jar]
[INFO] Overture Sample Tests                                              [jar]
[INFO] VDM Pretty Printing                                                [pom]
[INFO] The VDM Pretty Printer                                             [jar]
[INFO] The Proof Obligation Generator                                     [jar]
[INFO] The VDM Interpreter                                                [jar]
[INFO] Combinatorial Testing                                              [pom]
[INFO] Combinatorial Testing Utilities                                    [jar]
[INFO] Combinatorial Testing Runtime                                      [jar]
[INFO] New Pretty Printer                                                 [jar]
[INFO] Overture Core Command Line Tool                                    [jar]
[INFO] Code Generation                                                    [pom]
[INFO] The Intermediate Representation Tree                               [jar]
[INFO] The Code Generation Platform                                       [jar]
[INFO] The Java Code Generator Runtime                                    [jar]
[INFO] The Java Code Generator Testing                                    [jar]
[INFO] The Java Code Generator                                            [jar]
[INFO] The VDM to JML Generator Runtime                                   [jar]
[INFO] The VDM to JML Generator                                           [jar]
[INFO] The Java Code Generator Maven Plugin                      [maven-plugin]
[INFO] The VDM to Isabelle Translator                                     [jar]
[INFO] POG - Isagen Integration                                           [jar]
[INFO] VDM Annotations                                                    [pom]
[INFO] Provided Annotations                                               [jar]
[INFO] Annotation Examples                                                [jar]
[INFO] Documentation                                                      [pom]
[INFO] The Overture release notes                                         [jar]
[INFO] 
[INFO] -----------------------< org.overturetool:root >------------------------
[INFO] Building The Overture Tool Platform root 2.7.5-SNAPSHOT           [1/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ root ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/target
[INFO] 
[INFO] ---------------------< org.overturetool:externals >---------------------
[INFO] Building Overture External Resources 2.7.5-SNAPSHOT               [2/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ externals ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/externals/target
[INFO] 
[INFO] -----------------------< org.overturetool:core >------------------------
[INFO] Building Core Tools 2.7.5-SNAPSHOT                                [3/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ core ---
[INFO] 
[INFO] ---------------------< org.overturetool.core:ast >----------------------
[INFO] Building The Overture Abstract Syntax Tree 2.7.5-SNAPSHOT         [4/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ast ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target
[INFO] 
[INFO] ----------------< org.overturetool.core:testframework >-----------------
[INFO] Building Test Framework for Overture 2.7.5-SNAPSHOT               [5/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ testframework ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target
[INFO] 
[INFO] --------------------< org.overturetool.core:parser >--------------------
[INFO] Building The VDM parser 2.7.5-SNAPSHOT                            [6/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ parser ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target
[INFO] 
[INFO] -----------------< org.overturetool.core:typechecker >------------------
[INFO] Building The VDM Type Checker 2.7.5-SNAPSHOT                      [7/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ typechecker ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target
[INFO] 
[INFO] -------------------< org.overturetool.core:testing >--------------------
[INFO] Building Overture Testing 2.7.5-SNAPSHOT                          [8/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ testing ---
[INFO] 
[INFO] --------------< org.overturetool.core.testing:framework >---------------
[INFO] Building Overture Testing Framework 2.7.5-SNAPSHOT                [9/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ framework ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target
[INFO] 
[INFO] ---------------< org.overturetool.core.testing:samples >----------------
[INFO] Building Overture Sample Tests 2.7.5-SNAPSHOT                    [10/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ samples ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target
[INFO] 
[INFO] ----------------< org.overturetool.core:prettyprinting >----------------
[INFO] Building VDM Pretty Printing 2.7.5-SNAPSHOT                      [11/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ prettyprinting ---
[INFO] 
[INFO] ---------< org.overturetool.core.prettyprinting:prettyprinter >---------
[INFO] Building The VDM Pretty Printer 2.7.5-SNAPSHOT                   [12/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ prettyprinter ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target
[INFO] 
[INFO] ---------------------< org.overturetool.core:pog >----------------------
[INFO] Building The Proof Obligation Generator 2.7.5-SNAPSHOT           [13/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ pog ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target
[INFO] 
[INFO] -----------------< org.overturetool.core:interpreter >------------------
[INFO] Building The VDM Interpreter 2.7.5-SNAPSHOT                      [14/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ interpreter ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target
[INFO] 
[INFO] -------------< org.overturetool.core:combinatorialtesting >-------------
[INFO] Building Combinatorial Testing 2.7.5-SNAPSHOT                    [15/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ combinatorialtesting ---
[INFO] 
[INFO] ---------< org.overturetool.core.combinatorialtesting:ctutils >---------
[INFO] Building Combinatorial Testing Utilities 2.7.5-SNAPSHOT          [16/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ctutils ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target
[INFO] 
[INFO] --------< org.overturetool.core.combinatorialtesting:ctruntime >--------
[INFO] Building Combinatorial Testing Runtime 2.7.5-SNAPSHOT            [17/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ctruntime ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target
[INFO] 
[INFO] ---------------------< org.overturetool.core:npp >----------------------
[INFO] Building New Pretty Printer 2.7.5-SNAPSHOT                       [18/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ npp ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target
[INFO] 
[INFO] ---------------< org.overturetool.core:commandlinetool >----------------
[INFO] Building Overture Core Command Line Tool 2.7.5-SNAPSHOT          [19/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ commandlinetool ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target
[INFO] 
[INFO] -------------------< org.overturetool.core:codegen >--------------------
[INFO] Building Code Generation 2.7.5-SNAPSHOT                          [20/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen ---
[INFO] 
[INFO] ------------------< org.overturetool.core.codegen:ir >------------------
[INFO] Building The Intermediate Representation Tree 2.7.5-SNAPSHOT     [21/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ir ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:platform >---------------
[INFO] Building The Code Generation Platform 2.7.5-SNAPSHOT             [22/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ platform ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target
[INFO] 
[INFO] -----------< org.overturetool.core.codegen:codegen-runtime >------------
[INFO] Building The Java Code Generator Runtime 2.7.5-SNAPSHOT          [23/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen-runtime ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target
[INFO] 
[INFO] -------------< org.overturetool.core.codegen:javagen-test >-------------
[INFO] Building The Java Code Generator Testing 2.7.5-SNAPSHOT          [24/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ javagen-test ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:javagen >----------------
[INFO] Building The Java Code Generator 2.7.5-SNAPSHOT                  [25/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ javagen ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target
[INFO] 
[INFO] -----------< org.overturetool.core.codegen:vdm2jml-runtime >------------
[INFO] Building The VDM to JML Generator Runtime 2.7.5-SNAPSHOT         [26/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ vdm2jml-runtime ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:vdm2jml >----------------
[INFO] Building The VDM to JML Generator 2.7.5-SNAPSHOT                 [27/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ vdm2jml ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target
[INFO] 
[INFO] ------------< org.overturetool.core.codegen:codegen-plugin >------------
[INFO] Building The Java Code Generator Maven Plugin 2.7.5-SNAPSHOT     [28/35]
[INFO] ----------------------------[ maven-plugin ]----------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen-plugin ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target
[INFO] 
[INFO] ----------------< org.overturetool.core.codegen:isagen >----------------
[INFO] Building The VDM to Isabelle Translator 2.7.5-SNAPSHOT           [29/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ isagen ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target
[INFO] 
[INFO] --------------------< org.overturetool.core:isapog >--------------------
[INFO] Building POG - Isagen Integration 2.7.5-SNAPSHOT                 [30/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ isapog ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target
[INFO] 
[INFO] -----------------< org.overturetool.core:annotations >------------------
[INFO] Building VDM Annotations 2.7.5-SNAPSHOT                          [31/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ annotations ---
[INFO] 
[INFO] -------------< org.overturetool.core.annotations:provided >-------------
[INFO] Building Provided Annotations 2.7.5-SNAPSHOT                     [32/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ provided ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target
[INFO] 
[INFO] -------------< org.overturetool.core.annotations:examples >-------------
[INFO] Building Annotation Examples 2.7.5-SNAPSHOT                      [33/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ examples ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target
[INFO] 
[INFO] -------------------< org.overturetool:documentation >-------------------
[INFO] Building Documentation 2.7.5-SNAPSHOT                            [34/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ documentation ---
[INFO] 
[INFO] ------------< org.overturetool.documentation:releasenotes >-------------
[INFO] Building The Overture release notes 2.7.5-SNAPSHOT               [35/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ releasenotes ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 2.7.5-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  0.222 s]
[INFO] Overture External Resources ........................ SUCCESS [  0.008 s]
[INFO] Core Tools ......................................... SUCCESS [  0.051 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  0.104 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  0.012 s]
[INFO] The VDM parser ..................................... SUCCESS [  0.066 s]
[INFO] The VDM Type Checker ............................... SUCCESS [  0.387 s]
[INFO] Overture Testing ................................... SUCCESS [  0.002 s]
[INFO] Overture Testing Framework ......................... SUCCESS [  0.009 s]
[INFO] Overture Sample Tests .............................. SUCCESS [  0.614 s]
[INFO] VDM Pretty Printing ................................ SUCCESS [  0.003 s]
[INFO] The VDM Pretty Printer ............................. SUCCESS [  0.014 s]
[INFO] The Proof Obligation Generator ..................... SUCCESS [  0.113 s]
[INFO] The VDM Interpreter ................................ SUCCESS [  0.382 s]
[INFO] Combinatorial Testing .............................. SUCCESS [  0.004 s]
[INFO] Combinatorial Testing Utilities .................... SUCCESS [  0.012 s]
[INFO] Combinatorial Testing Runtime ...................... SUCCESS [  0.068 s]
[INFO] New Pretty Printer ................................. SUCCESS [  0.023 s]
[INFO] Overture Core Command Line Tool .................... SUCCESS [  0.006 s]
[INFO] Code Generation .................................... SUCCESS [  0.002 s]
[INFO] The Intermediate Representation Tree ............... SUCCESS [  0.065 s]
[INFO] The Code Generation Platform ....................... SUCCESS [  0.075 s]
[INFO] The Java Code Generator Runtime .................... SUCCESS [  0.038 s]
[INFO] The Java Code Generator Testing .................... SUCCESS [  0.013 s]
[INFO] The Java Code Generator ............................ SUCCESS [  1.055 s]
[INFO] The VDM to JML Generator Runtime ................... SUCCESS [  0.004 s]
[INFO] The VDM to JML Generator ........................... SUCCESS [  0.100 s]
[INFO] The Java Code Generator Maven Plugin ............... SUCCESS [  0.028 s]
[INFO] The VDM to Isabelle Translator ..................... SUCCESS [  0.023 s]
[INFO] POG - Isagen Integration ........................... SUCCESS [  0.008 s]
[INFO] VDM Annotations .................................... SUCCESS [  0.001 s]
[INFO] Provided Annotations ............................... SUCCESS [  0.003 s]
[INFO] Annotation Examples ................................ SUCCESS [  0.004 s]
[INFO] Documentation ...................................... SUCCESS [  0.004 s]
[INFO] The Overture release notes ......................... SUCCESS [  0.004 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  4.253 s
[INFO] Finished at: 2020-05-17T19:09:52+02:00
[INFO] ------------------------------------------------------------------------
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@6f1b1005[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,archived=false,size=214462,milestones={},language=Java,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type, Deprecation, Sunset], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Sun, 17 May 2020 17:09:30 GMT], ETag=[W/"50984b2d16d2510d06726b391da06193"], Last-Modified=[Fri, 15 May 2020 20:00:51 GMT], OkHttp-Received-Millis=[1589735370889], OkHttp-Response-Source=[CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1589735370693], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding, Accept, X-Requested-With], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[AE74:F884:1D2B444:211C532:5EC16FCA], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4984], X-RateLimit-Reset=[1589737590], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:50da1be) with context:overture-pvj-main
Setting commit status on GitHub for https://github.com/overturetool/overture/commit/50da1bede0cb5308d4caa79a5778d3648baf939b
Parsing POMs
Established TCP socket on 43357
[overture-pvj-main] $ java -Xmx1024m -XX:MaxPermSize=256M -Djava.awt.headless=true -cp /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-agent-1.13.jar:/var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1/boot/plexus-classworlds-2.5.1.jar:/var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1/conf/logging jenkins.maven3.agent.Maven31Main /var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1 /var/cache/jenkins/war/WEB-INF/lib/remoting-3.36.1.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-interceptor-1.13.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven3-interceptor-commons-1.13.jar 43357
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
<===[JENKINS REMOTING CAPACITY]===>channel started
Executing Maven:  -B -f /var/lib/jenkins/workspace/overture-pvj-main/pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/overture-pvj-main/.repository install -Dtests.javagen.javac -Dmaven.javadoc.skip=true -DexternalTestsPath=/var/lib/jenkins/internal-resources/externaltests/
[INFO] Scanning for projects...
[INFO] Initializing Artifactory Build-Info Recording
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO] 
[INFO] The Overture Tool Platform root
[INFO] Overture External Resources
[INFO] Core Tools
[INFO] The Overture Abstract Syntax Tree
[INFO] Test Framework for Overture
[INFO] The VDM parser
[INFO] The VDM Type Checker
[INFO] Overture Testing
[INFO] Overture Testing Framework
[INFO] Overture Sample Tests
[INFO] VDM Pretty Printing
[INFO] The VDM Pretty Printer
[INFO] The Proof Obligation Generator
[INFO] The VDM Interpreter
[INFO] Combinatorial Testing
[INFO] Combinatorial Testing Utilities
[INFO] Combinatorial Testing Runtime
[INFO] New Pretty Printer
[INFO] Overture Core Command Line Tool
[INFO] Code Generation
[INFO] The Intermediate Representation Tree
[INFO] The Code Generation Platform
[INFO] The Java Code Generator Runtime
[INFO] The Java Code Generator Testing
[INFO] The Java Code Generator
[INFO] The VDM to JML Generator Runtime
[INFO] The VDM to JML Generator
[INFO] The Java Code Generator Maven Plugin
[INFO] The VDM to Isabelle Translator
[INFO] POG - Isagen Integration
[INFO] VDM Annotations
[INFO] Provided Annotations
[INFO] Annotation Examples
[INFO] Documentation
[INFO] The Overture release notes
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Overture Tool Platform root 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ root ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ root ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ root ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ root ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/root/2.7.5-SNAPSHOT/root-2.7.5-SNAPSHOT.pom
[WARNING] Attempt to (de-)serialize anonymous class org.jfrog.hudson.maven2.MavenDependenciesRecorder$1; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in  1 second
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture External Resources 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ externals ---
[INFO] 
[INFO] --- maven-resources-plugin:2.7:copy-resources (copy-resources01) @ externals ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO] Copying 1 resource
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ externals ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/externals/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ externals ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/externals/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ externals ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-antrun-plugin:1.8:run (update-docs) @ externals ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ externals ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/externals/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ externals ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ externals ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ externals ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/externals/target/externals-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ externals ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/externals/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ externals ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/externals/target/externals-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/externals/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Core Tools 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ core ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ core ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ core ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ core ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ core ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/2.7.5-SNAPSHOT/core-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Overture Abstract Syntax Tree 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ast ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ast ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- astcreator-plugin:1.6.10:generate (java) @ ast ---
[INFO] Preparing for tree generation...
[INFO] Checking if generation required.
[INFO] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/ast/src/main/resources/overtureII.astv2
Adding aspect fields: PExpBase.{type,location,comments}
Adding aspect fields: SUnaryExpBase.{exp}
Adding aspect fields: SBinaryExpBase.{left,op,right}
Adding aspect fields: SSetExpBase.{setType}
Adding aspect fields: PTypeBase.{location,resolved,definitions}
Adding aspect fields: SSeqTypeBase.{seqof,empty}
Adding aspect fields: SSetTypeBase.{setof,empty,infinite}
Adding aspect fields: SMapTypeBase.{from,to,empty}
Adding aspect fields: SInvariantTypeBase.{inNarrower,opaque,invDef,eqDef,ordDef}
Adding aspect fields: PPatternBase.{location,definitions,resolved}
Adding aspect fields: PPairBase.{resolved}
Adding aspect fields: PBindBase.{location,pattern}
Adding aspect fields: PMultipleBindBase.{location,plist}
Adding aspect fields: PDefinitionBase.{location,name,nameScope,used,classDefinition,access,type,pass,comments,annotations}
Adding aspect fields: SFunctionDefinitionBase.{typeParams,body,precondition,postcondition,measure,measureDef,measureName,predef,postdef,recursive,isUndefined,expectedResult,actualResult}
Adding aspect fields: SOperationDefinitionBase.{body,precondition,postcondition,predef,postdef,state,actualResult,isConstructor,possibleExceptions}
Adding aspect fields: PRelationBase.{location,lhsPattern,rhsPattern,relExp,relDef}
Adding aspect fields: PTraceDefinitionBase.{location}
Adding aspect fields: PTraceCoreDefinitionBase.{location}
Adding aspect fields: SClassDefinitionBase.{supertypes,supernames,definitions,allInheritedDefinitions,localInheritedDefinitions,hasContructors,settingHierarchy,superDefs,gettingInheritable,superInheritedDefinitions,gettingInvDefs,isAbstract,isUndefined,classtype,typeChecked,invariant}
Adding aspect fields: PImportBase.{location,name,renamed,from}
Adding aspect fields: SValueImportBase.{importType}
Adding aspect fields: PExportBase.{location,definition}
Adding aspect fields: PStmBase.{location,type,comments}
Adding aspect fields: SSimpleBlockStmBase.{statements}
Adding aspect fields: PStateDesignatorBase.{location,type}
Adding aspect fields: PObjectDesignatorBase.{location}
Adding aspect fields: PAnnotationBase.{name,args,impl}
Retry Create interfaces - with 1 not yet created interfaces.
Done creating interfaces
WARNING: Field "_type" in class AExplicitFunctionDefinition with type "AFunctionType" specializes "PType"
WARNING: Field "_type" in class AImplicitFunctionDefinition with type "AFunctionType" specializes "PType"
Generating toString add on...
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Copying base classes to destination...
Writing source files.:
........................................................................
........................................................................
........................................................................
........................................................................
........................................................................
........................
File write completed in 7 secs
[INFO] Generator completed with 471 generated files.


[INFO] 
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ast ---
[INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ast ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ast ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 464 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ast ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/ast/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ast ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ast ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ast ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/ast-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ast ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ast ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ast ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/ast-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/ast/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Test Framework for Overture 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ testframework ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ testframework ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ testframework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ testframework ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 16 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ testframework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ testframework ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ testframework ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ testframework ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/testframework-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ testframework ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ testframework ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ testframework ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/testframework-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM parser 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ parser ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ parser ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/parser/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ parser ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 32 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 388 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ parser ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 17 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ parser ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.parser.tests.SpecificationSlTestSuite
Tests run: 41, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.668 sec - in org.overture.parser.tests.SpecificationSlTestSuite
Running org.overture.parser.tests.PatternTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.PatternTestSuite
Running org.overture.parser.tests.ExpressionTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.ExpressionTestSuite
Running org.overture.parser.tests.StatementTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.StatementTestSuite
Running org.overture.parser.tests.SpecificationRtTestSuite
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.541 sec - in org.overture.parser.tests.SpecificationRtTestSuite
Running org.overture.parser.tests.SpecificationPpTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in org.overture.parser.tests.SpecificationPpTestSuite
Running org.overture.parser.tests.TypeTestSuite
Tests run: 0, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.parser.tests.TypeTestSuite
Running org.overture.parser.tests.DefinitionTestSuite
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in org.overture.parser.tests.DefinitionTestSuite

Results :

Tests run: 56, Failures: 0, Errors: 0, Skipped: 0

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ parser ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/parser-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ parser ---
[INFO] Analyzed bundle 'The VDM parser' with 43 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ parser ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ parser ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/parser-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/parser/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM Type Checker 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 138 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/classes
[INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Some input files use unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2043 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Tests run: 74, Failures: 3, Errors: 0, Skipped: 0, Time elapsed: 2.791 sec <<< FAILURE! - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
test[extension-13.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest)  Time elapsed: 0.034 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "extension-13.vpp.result"

Missing Warning:    5000 extension-13.vpp at 302:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-13.vpp at 141:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-13.vpp at 161:28 Name contains a reserved prefix
Missing Error:      3294 extension-13.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope


test[extension-12.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest)  Time elapsed: 0.014 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "extension-12.vpp.result"

Missing Warning:    5000 extension-12.vpp at 295:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-12.vpp at 129:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-12.vpp at 149:28 Name contains a reserved prefix
Missing Error:      3294 extension-12.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation


test[extension-01.vpp](org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest)  Time elapsed: 0.041 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "extension-01.vpp.result"

Unexpected Error:   2295 extension-01.vpp at 110:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-01.vpp at 130:28 Name contains a reserved prefix
Missing Error:      3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types


Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Tests run: 485, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.406 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
Tests run: 1216, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 3.647 sec <<< FAILURE! - in org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
test[letexpr-23.vdm](org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest)  Time elapsed: 0.002 sec  <<< FAILURE!
java.lang.AssertionError: 
Errors found in file "letexpr-23.vdm.result"

Missing Warning:    5000 letexpr-23.vdm at 24:26 Definition 'c' not used
Missing Warning:    5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used
Missing Warning:    5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used
Missing Warning:    5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used
Missing Warning:    5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used
Unexpected Error:   2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix
Missing Error:      3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered


Running org.overture.typechecker.tests.ClassesRtTypeCheckTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.542 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest
Running org.overture.typechecker.tests.ClassesPpTypeCheckTest
Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.673 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest
Running org.overture.typechecker.tests.ModulesSlTypeCheckTest
Tests run: 73, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.593 sec - in org.overture.typechecker.tests.ModulesSlTypeCheckTest

Results :

Failed tests: 
  ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-01.vpp.result"

Unexpected Error:   2295 extension-01.vpp at 110:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-01.vpp at 130:28 Name contains a reserved prefix
Missing Error:      3182 extension-01.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-01.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3134 extension-01.vpp at 265:40 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 266:41 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 272:43 Class has no constructor with these parameter types
Missing Error:      3134 extension-01.vpp at 273:41 Class has no constructor with these parameter types

  ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-12.vpp.result"

Missing Warning:    5000 extension-12.vpp at 295:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-12.vpp at 129:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-12.vpp at 149:28 Name contains a reserved prefix
Missing Error:      3294 extension-12.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-12.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-12.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-12.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-12.vpp at 32:24 Argument to setPriority must be an operation

  ExternalClassesRtTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "extension-13.vpp.result"

Missing Warning:    5000 extension-13.vpp at 302:11 Definition 'dummy' not used
Unexpected Error:   2295 extension-13.vpp at 141:13 Name contains a reserved prefix
Unexpected Error:   2295 extension-13.vpp at 161:28 Name contains a reserved prefix
Missing Error:      3294 extension-13.vpp at 41:8 Only one system class permitted
Missing Error:      3134 extension-13.vpp at 45:36 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 50:37 Class has no constructor with these parameter types
Missing Error:      3134 extension-13.vpp at 55:39 Class has no constructor with these parameter types
Missing Error:      3182 extension-13.vpp at 32:24 Name 'Radio`DecodeTMC' is not in scope
Missing Error:      3290 extension-13.vpp at 32:24 Argument to setPriority must be an operation
Missing Error:      3209 extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Missing Error:      3209 extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope

  ExternalModulesSlTypeCheckTest>CommonTypeCheckerTest.test:74->ResultTestCase4.compareResults:107 Errors found in file "letexpr-23.vdm.result"

Missing Warning:    5000 letexpr-23.vdm at 24:26 Definition 'c' not used
Missing Warning:    5000 letexpr-23.vdm at 32:13 Definition 'ini_i' not used
Missing Warning:    5000 letexpr-23.vdm at 28:13 Definition 'po_h' not used
Missing Warning:    5000 letexpr-23.vdm at 24:13 Definition 'pr_g' not used
Missing Warning:    5000 letexpr-23.vdm at 20:15 Definition 'iv_f' not used
Unexpected Error:   2295 letexpr-23.vdm at 20:15 Name contains a reserved prefix
Missing Error:      3139 letexpr-23.vdm at 11:14 Left hand of < is not ordered


Tests run: 1906, Failures: 4, Errors: 0, Skipped: 0

[ERROR] There are test failures.

Please refer to /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/surefire-reports for the individual test results.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ typechecker ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ typechecker ---
[INFO] Analyzed bundle 'The VDM Type Checker' with 152 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ typechecker ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ typechecker ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/typechecker/2.7.5-SNAPSHOT/typechecker-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/typechecker/2.7.5-SNAPSHOT/typechecker-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture Testing 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ testing ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ testing ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/testing/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ testing ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/testing/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ testing ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ testing ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testing/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testing/2.7.5-SNAPSHOT/testing-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture Testing Framework 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ framework ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ framework ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ framework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ framework ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ framework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ framework ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ framework ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ framework ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/framework-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ framework ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ framework ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ framework ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/framework-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testing/framework/2.7.5-SNAPSHOT/framework-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/testing/framework/2.7.5-SNAPSHOT/framework-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture Sample Tests 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ samples ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ samples ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ samples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ samples ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ samples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 3215 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ samples ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 3 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ samples ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.core.testing.samples.SampleStandardTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.737 sec - in org.overture.core.testing.samples.SampleStandardTest
Running org.overture.core.testing.samples.SampleExternalsTest
Tests run: 3211, Failures: 13, Errors: 0, Skipped: 0, Time elapsed: 11.073 sec <<< FAILURE! - in org.overture.core.testing.samples.SampleExternalsTest
testCase[63 : extension-13.vpp](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.023 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-13.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-13.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-13.vpp] Expected (but not found) Strings: 
Error 3294: extension-13.vpp at 41:8 Only one system class permitted
Error 3427: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-13.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-13.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-13.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3209: extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings: 
Error 2295: extension-13.vpp at 141:13 Name contains a reserved prefix
Error 2295: extension-13.vpp at 161:28 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[64 : extension-12.vpp](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.008 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-12.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-12.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-12.vpp] Expected (but not found) Strings: 
Error 3294: extension-12.vpp at 41:8 Only one system class permitted
Error 3427: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-12.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-12.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-12.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Found (but not expected) Strings: 
Error 2295: extension-12.vpp at 129:13 Name contains a reserved prefix
Error 2295: extension-12.vpp at 149:28 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[65 : extension-01.vpp](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.007 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-01.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-01.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-01.vpp] Expected (but not found) Strings: 
Error 3427: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3133: extension-01.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-01.vpp at 265:40 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 266:41 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 272:43 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 273:41 Class has no constructor with these parameter types
Found (but not expected) Strings: 
Error 2295: extension-01.vpp at 110:13 Name contains a reserved prefix
Error 2295: extension-01.vpp at 130:28 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[1494 : letexpr-23.vdm](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.001 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/tc/sltest/exprtest/CORE/expr/letexpr/letexpr-23.vdm, Result:src/test/resources/external/tc/sltest/exprtest/CORE/expr/letexpr/letexpr-23.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.letexpr-23.vdm] Expected (but not found) Strings: 
Error 3139: letexpr-23.vdm at 11:14 Left hand of < is not ordered
Found (but not expected) Strings: 
Error 2295: letexpr-23.vdm at 20:15 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[2365 : extension-13.vpp](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.004 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-13.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-13.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-13.vpp] Expected (but not found) Strings: 
Error 3294: extension-13.vpp at 41:8 Only one system class permitted
Error 3427: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-13.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-13.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-13.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3209: extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings: 
Error 2295: extension-13.vpp at 141:13 Name contains a reserved prefix
Error 2295: extension-13.vpp at 161:28 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[2366 : extension-12.vpp](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.003 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-12.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-12.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-12.vpp] Expected (but not found) Strings: 
Error 3294: extension-12.vpp at 41:8 Only one system class permitted
Error 3427: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-12.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-12.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-12.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3209: extension-12.vpp at 79:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-12.vpp at 80:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-12.vpp at 81:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings: 
Error 2295: extension-12.vpp at 129:13 Name contains a reserved prefix
Error 2295: extension-12.vpp at 149:28 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[2367 : extension-01.vpp](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.003 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-01.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-01.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-01.vpp] Expected (but not found) Strings: 
Error 3427: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3133: extension-01.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3209: extension-01.vpp at 60:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-01.vpp at 61:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-01.vpp at 62:14 Member HandleEvent(nat) is not in scope
Error 3134: extension-01.vpp at 262:40 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 263:41 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 269:43 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 270:41 Class has no constructor with these parameter types
Found (but not expected) Strings: 
Error 2295: extension-01.vpp at 110:13 Name contains a reserved prefix
Error 2295: extension-01.vpp at 130:28 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[3157 : modules-01.vdm](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.005 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-01.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-01.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-01.vdm] Expected (but not found) Strings: 
modules-01.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-01.vdm at 76:7 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[3158 : modules-06.vdm](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.004 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-06.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-06.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-06.vdm] Expected (but not found) Strings: 
modules-06.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-06.vdm at 47:7 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[3159 : modules-04.vdm](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.004 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-04.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-04.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-04.vdm] Expected (but not found) Strings: 
modules-04.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-04.vdm at 40:7 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[3160 : modules-05.vdm](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.003 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-05.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-05.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-05.vdm] Expected (but not found) Strings: 
modules-05.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-05.vdm at 39:7 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[3161 : modules-03.vdm](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.615 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-03.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-03.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-03.vdm] Expected (but not found) Strings: 
modules-03.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-03.vdm at 50:7 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)

testCase[3162 : modules-02.vdm](org.overture.core.testing.samples.SampleExternalsTest)  Time elapsed: 0.004 sec  <<< FAILURE!
java.lang.AssertionError: 
[Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-02.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-02.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-02.vdm] Expected (but not found) Strings: 
modules-02.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-02.vdm at 72:7 Name contains a reserved prefix

	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:75)
	at org.overture.core.testing.samples.SampleExternalsTest.compareResults(SampleExternalsTest.java:49)


Results :

Failed tests: 
  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/tc/sltest/exprtest/CORE/expr/letexpr/letexpr-23.vdm, Result:src/test/resources/external/tc/sltest/exprtest/CORE/expr/letexpr/letexpr-23.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.letexpr-23.vdm] Expected (but not found) Strings: 
Error 3139: letexpr-23.vdm at 11:14 Left hand of < is not ordered
Found (but not expected) Strings: 
Error 2295: letexpr-23.vdm at 20:15 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-13.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-13.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-13.vpp] Expected (but not found) Strings: 
Error 3294: extension-13.vpp at 41:8 Only one system class permitted
Error 3427: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-13.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-13.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-13.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3209: extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings: 
Error 2295: extension-13.vpp at 141:13 Name contains a reserved prefix
Error 2295: extension-13.vpp at 161:28 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-12.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-12.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-12.vpp] Expected (but not found) Strings: 
Error 3294: extension-12.vpp at 41:8 Only one system class permitted
Error 3427: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-12.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-12.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-12.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3209: extension-12.vpp at 79:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-12.vpp at 80:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-12.vpp at 81:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings: 
Error 2295: extension-12.vpp at 129:13 Name contains a reserved prefix
Error 2295: extension-12.vpp at 149:28 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/rttest/VICE/extension/extension-01.vpp, Result:src/test/resources/external/cgip/rttest/VICE/extension/extension-01.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-01.vpp] Expected (but not found) Strings: 
Error 3427: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3133: extension-01.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3209: extension-01.vpp at 60:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-01.vpp at 61:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-01.vpp at 62:14 Member HandleEvent(nat) is not in scope
Error 3134: extension-01.vpp at 262:40 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 263:41 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 269:43 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 270:41 Class has no constructor with these parameter types
Found (but not expected) Strings: 
Error 2295: extension-01.vpp at 110:13 Name contains a reserved prefix
Error 2295: extension-01.vpp at 130:28 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-01.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-01.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-01.vdm] Expected (but not found) Strings: 
modules-01.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-01.vdm at 76:7 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-06.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-06.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-06.vdm] Expected (but not found) Strings: 
modules-06.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-06.vdm at 47:7 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-04.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-04.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-04.vdm] Expected (but not found) Strings: 
modules-04.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-04.vdm at 40:7 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-05.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-05.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-05.vdm] Expected (but not found) Strings: 
modules-05.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-05.vdm at 39:7 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-03.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-03.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-03.vdm] Expected (but not found) Strings: 
modules-03.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-03.vdm at 50:7 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/cgip/sltest/SL/modules/modules-02.vdm, Result:src/test/resources/external/cgip/sltest/SL/modules/modules-02.vdm.result, Update Property:testing.update.testing.standard.SampleExternalsTest.modules-02.vdm] Expected (but not found) Strings: 
modules-02.vdmparses and type checks
Found (but not expected) Strings: 
Error 2295: modules-02.vdm at 72:7 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-13.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-13.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-13.vpp] Expected (but not found) Strings: 
Error 3294: extension-13.vpp at 41:8 Only one system class permitted
Error 3427: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-13.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-13.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-13.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-13.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-13.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3209: extension-13.vpp at 91:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 92:14 Member HandleEvent(nat) is not in scope
Error 3209: extension-13.vpp at 93:14 Member HandleEvent(nat) is not in scope
Found (but not expected) Strings: 
Error 2295: extension-13.vpp at 141:13 Name contains a reserved prefix
Error 2295: extension-13.vpp at 161:28 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-12.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-12.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-12.vpp] Expected (but not found) Strings: 
Error 3294: extension-12.vpp at 41:8 Only one system class permitted
Error 3427: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3427: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 52:13 Unable to resolve type name 'CPU'
Error 3427: extension-12.vpp at 57:13 Unable to resolve type name 'CPU'
Error 3133: extension-12.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-12.vpp at 45:36 Class has no constructor with these parameter types
Error 3133: extension-12.vpp at 47:20 Class name CPU not in scope
Error 3428: extension-12.vpp at 47:13 Unable to resolve type name 'CPU'
Error 3428: extension-12.vpp at 7:10 Unable to resolve type name 'CPU'
Found (but not expected) Strings: 
Error 2295: extension-12.vpp at 129:13 Name contains a reserved prefix
Error 2295: extension-12.vpp at 149:28 Name contains a reserved prefix

  SampleExternalsTest>ParamFineGrainTest.testCase:100->compareResults:49->compareResults:75 [Input: /var/lib/jenkins/internal-resources/externaltests/tc/rttest/VICE/extension/extension-01.vpp, Result:src/test/resources/external/tc/rttest/VICE/extension/extension-01.vpp.result, Update Property:testing.update.testing.standard.SampleExternalsTest.extension-01.vpp] Expected (but not found) Strings: 
Error 3427: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 12:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 17:10 Unable to resolve type name 'CPU'
Error 3427: extension-01.vpp at 20:10 Unable to resolve type name 'BUS'
Error 3133: extension-01.vpp at 7:17 Class name CPU not in scope
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3428: extension-01.vpp at 7:10 Unable to resolve type name 'CPU'
Error 3134: extension-01.vpp at 265:40 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 266:41 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 272:43 Class has no constructor with these parameter types
Error 3134: extension-01.vpp at 273:41 Class has no constructor with these parameter types
Found (but not expected) Strings: 
Error 2295: extension-01.vpp at 110:13 Name contains a reserved prefix
Error 2295: extension-01.vpp at 130:28 Name contains a reserved prefix


Tests run: 3213, Failures: 13, Errors: 0, Skipped: 0

[ERROR] There are test failures.

Please refer to /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/surefire-reports for the individual test results.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ samples ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/samples-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ samples ---
[INFO] Analyzed bundle 'Overture Sample Tests' with 0 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ samples ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ samples ---
[INFO] Skipping artifact installation
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building VDM Pretty Printing 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ prettyprinting ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ prettyprinting ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ prettyprinting ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ prettyprinting ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ prettyprinting ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/prettyprinting/2.7.5-SNAPSHOT/prettyprinting-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM Pretty Printer 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ prettyprinter ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ prettyprinter ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ prettyprinter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ prettyprinter ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 4 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ prettyprinter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ prettyprinter ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ prettyprinter ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ prettyprinter ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/prettyprinter-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ prettyprinter ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ prettyprinter ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ prettyprinter ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/prettyprinter-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/prettyprinting/prettyprinter/2.7.5-SNAPSHOT/prettyprinter-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/prettyprinting/prettyprinter/2.7.5-SNAPSHOT/prettyprinter-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Proof Obligation Generator 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ pog ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ pog ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- astcreator-plugin:1.6.10:generate (generate-ast) @ pog ---
[INFO] Preparing for tree generation...
[INFO] Configuring extension
[INFO] 	Extension base dependency is: "org.overturetool.core:ast"
[INFO] 	Searching for base dependency artifact
[INFO] 	Extension base artifact found - exstracting base tree definition files
[INFO] 	Setting base definition files to:
[INFO] 		base: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/overtureII.astv2
[INFO] 		base tostring: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/overtureII.astv2.tostring
[INFO] 	Extension base artifact configured.
[INFO] Checking if generation required.
[INFO] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/overtureII.astv2
[INFO] Generator starting with extension input: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/src/main/resources/pof.ast
Generating base and extension tree, standby ... 
Extension tree only: true
Adding aspect fields: PExpBase.{type,location,comments}
Adding aspect fields: SUnaryExpBase.{exp}
Adding aspect fields: SBinaryExpBase.{left,op,right}
Adding aspect fields: SSetExpBase.{setType}
Adding aspect fields: PTypeBase.{location,resolved,definitions}
Adding aspect fields: SSeqTypeBase.{seqof,empty}
Adding aspect fields: SSetTypeBase.{setof,empty,infinite}
Adding aspect fields: SMapTypeBase.{from,to,empty}
Adding aspect fields: SInvariantTypeBase.{inNarrower,opaque,invDef,eqDef,ordDef}
Adding aspect fields: PPatternBase.{location,definitions,resolved}
Adding aspect fields: PPairBase.{resolved}
Adding aspect fields: PBindBase.{location,pattern}
Adding aspect fields: PMultipleBindBase.{location,plist}
Adding aspect fields: PDefinitionBase.{location,name,nameScope,used,classDefinition,access,type,pass,comments,annotations}
Adding aspect fields: SFunctionDefinitionBase.{typeParams,body,precondition,postcondition,measure,measureDef,measureName,predef,postdef,recursive,isUndefined,expectedResult,actualResult}
Adding aspect fields: SOperationDefinitionBase.{body,precondition,postcondition,predef,postdef,state,actualResult,isConstructor,possibleExceptions}
Adding aspect fields: PRelationBase.{location,lhsPattern,rhsPattern,relExp,relDef}
Adding aspect fields: PTraceDefinitionBase.{location}
Adding aspect fields: PTraceCoreDefinitionBase.{location}
Adding aspect fields: SClassDefinitionBase.{supertypes,supernames,definitions,allInheritedDefinitions,localInheritedDefinitions,hasContructors,settingHierarchy,superDefs,gettingInheritable,superInheritedDefinitions,gettingInvDefs,isAbstract,isUndefined,classtype,typeChecked,invariant}
Adding aspect fields: PImportBase.{location,name,renamed,from}
Adding aspect fields: SValueImportBase.{importType}
Adding aspect fields: PExportBase.{location,definition}
Adding aspect fields: PStmBase.{location,type,comments}
Adding aspect fields: SSimpleBlockStmBase.{statements}
Adding aspect fields: PStateDesignatorBase.{location,type}
Adding aspect fields: PObjectDesignatorBase.{location}
Adding aspect fields: PAnnotationBase.{name,args,impl}
Retry Create interfaces - with 1 not yet created interfaces.
Done creating interfaces
WARNING: Field "_type" in class AExplicitFunctionDefinition with type "AFunctionType" specializes "PType"
WARNING: Field "_type" in class AImplicitFunctionDefinition with type "AFunctionType" specializes "PType"
Generating toString add on...
Done creating interfaces
Generating toString add on...
***********************************************
AST Creator Extensions
***********************************************
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Writing sources to the file system, standby ... 
Destination: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/generated-sources/astCreator
Copying base classes to destination...
Writing source files.:
............
File write completed in 1 secs
Created AST with extensions.
[INFO] 
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ pog ---
[INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ pog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ pog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 105 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ pog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 329 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ pog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ pog ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.pog.tests.VariableSubTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.31 sec - in org.overture.pog.tests.VariableSubTest
Running org.overture.pog.tests.newtests.PogBasicTest
Tests run: 39, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.184 sec - in org.overture.pog.tests.newtests.PogBasicTest
Running org.overture.pog.tests.newtests.PogBugRegressionTest
Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.174 sec - in org.overture.pog.tests.newtests.PogBugRegressionTest
Running org.overture.pog.tests.newtests.PogTypeIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.119 sec - in org.overture.pog.tests.newtests.PogTypeIntegrityTest
Running org.overture.pog.tests.newtests.VarDefIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.048 sec - in org.overture.pog.tests.newtests.VarDefIntegrityTest
Running org.overture.pog.tests.newtests.PogIntegrationTest
Tests run: 50, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.387 sec - in org.overture.pog.tests.newtests.PogIntegrationTest

Results :

Tests run: 195, Failures: 0, Errors: 0, Skipped: 84

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ pog ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/pog-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ pog ---
[INFO] Analyzed bundle 'The Proof Obligation Generator' with 91 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ pog ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ pog ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/pog-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/pog/2.7.5-SNAPSHOT/pog-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/pog/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/pog/2.7.5-SNAPSHOT/pog-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM Interpreter 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ interpreter ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ interpreter ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ interpreter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ interpreter ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 287 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ interpreter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1998 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ interpreter ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 21 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ interpreter ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.interpreter.tests.RepeatTraceNodeTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.159 sec - in org.overture.interpreter.tests.RepeatTraceNodeTest
Running org.overture.interpreter.tests.RandomListTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in org.overture.interpreter.tests.RandomListTests
Running org.overture.interpreter.tests.newtests.ClassesPpClassicTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.781 sec - in org.overture.interpreter.tests.newtests.ClassesPpClassicTest
Running org.overture.interpreter.tests.newtests.ClassesRtTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.111 sec - in org.overture.interpreter.tests.newtests.ClassesRtTest
Running org.overture.interpreter.tests.newtests.BugRegressionTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.033 sec - in org.overture.interpreter.tests.newtests.BugRegressionTest
Running org.overture.interpreter.tests.newtests.ExternalInterpreterTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.001 sec - in org.overture.interpreter.tests.newtests.ExternalInterpreterTest
Running org.overture.interpreter.tests.newtests.ModulesSlTest
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.759 sec - in org.overture.interpreter.tests.newtests.ModulesSlTest
Running org.overture.interpreter.tests.newtests.ClassesRtClassicTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.738 sec - in org.overture.interpreter.tests.newtests.ClassesRtClassicTest
Running org.overture.interpreter.tests.newtests.ClassesPpTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.523 sec - in org.overture.interpreter.tests.newtests.ClassesPpTest
Running org.overture.interpreter.tests.stdlibs.CsvParserTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.028 sec - in org.overture.interpreter.tests.stdlibs.CsvParserTest
Running org.overture.interpreter.tests.external.ExternalModulesSlTest
Tests run: 437, Failures: 0, Errors: 0, Skipped: 36, Time elapsed: 3.281 sec - in org.overture.interpreter.tests.external.ExternalModulesSlTest
Running org.overture.interpreter.tests.external.ExternalClassesRtTest
Tests run: 75, Failures: 0, Errors: 0, Skipped: 17, Time elapsed: 2.298 sec - in org.overture.interpreter.tests.external.ExternalClassesRtTest
Running org.overture.interpreter.tests.external.ExternalClassesPpTest
Tests run: 397, Failures: 0, Errors: 0, Skipped: 135, Time elapsed: 1.247 sec - in org.overture.interpreter.tests.external.ExternalClassesPpTest

Results :

Tests run: 977, Failures: 0, Errors: 0, Skipped: 189

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ interpreter ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/interpreter-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ interpreter ---
[INFO] Analyzed bundle 'The VDM Interpreter' with 327 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ interpreter ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ interpreter ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/interpreter-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/interpreter/2.7.5-SNAPSHOT/interpreter-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/interpreter/2.7.5-SNAPSHOT/interpreter-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Combinatorial Testing 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ combinatorialtesting ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ combinatorialtesting ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ combinatorialtesting ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ combinatorialtesting ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ combinatorialtesting ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/2.7.5-SNAPSHOT/combinatorialtesting-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Combinatorial Testing Utilities 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ctutils ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ctutils ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ctutils ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ctutils ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ctutils ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ctutils ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ctutils ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ctutils ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/ctutils-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ctutils ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ctutils ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ctutils ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/ctutils-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/ctutils/2.7.5-SNAPSHOT/ctutils-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/ctutils/2.7.5-SNAPSHOT/ctutils-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Combinatorial Testing Runtime 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ctruntime ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ctruntime ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ctruntime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ctruntime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 19 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ctruntime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 60 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ctruntime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ctruntime ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.744 sec - in org.overture.ct.ctruntime.tests.CtNoReductionPpTestCase
Running org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.549 sec - in org.overture.ct.ctruntime.tests.CtMultiFileNoReductionSlTestCase
Running org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase
Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 11.203 sec - in org.overture.ct.ctruntime.tests.CtNoReductionSlTestCase
Running org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.408 sec - in org.overture.ct.ctruntime.tests.CtRandomReductionSlTestCase

Results :

Tests run: 35, Failures: 0, Errors: 0, Skipped: 0

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ctruntime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/ctruntime-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ctruntime ---
[INFO] Analyzed bundle 'Combinatorial Testing Runtime' with 26 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ctruntime ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ctruntime ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/ctruntime-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/ctruntime/2.7.5-SNAPSHOT/ctruntime-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/combinatorialtesting/ctruntime/2.7.5-SNAPSHOT/ctruntime-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building New Pretty Printer 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ npp ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ npp ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ npp ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ npp ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ npp ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ npp ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ npp ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.core.npp.ExpressionNppTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.411 sec - in org.overture.core.npp.ExpressionNppTest
Running org.overture.core.npp.VdmSymbolTableTest
Tests run: 67, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.034 sec - in org.overture.core.npp.VdmSymbolTableTest
Running org.overture.core.npp.CommonStringManipsTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.core.npp.CommonStringManipsTest
Running org.overture.core.npp.IndentTrackerTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec - in org.overture.core.npp.IndentTrackerTest

Results :

Tests run: 97, Failures: 0, Errors: 0, Skipped: 0

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ npp ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/npp-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ npp ---
[INFO] Analyzed bundle 'New Pretty Printer' with 5 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ npp ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ npp ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/npp-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/npp/2.7.5-SNAPSHOT/npp-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/npp/2.7.5-SNAPSHOT/npp-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture Core Command Line Tool 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ commandlinetool ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ commandlinetool ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ commandlinetool ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources to /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target
[INFO] Copying 2 resources to /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/classes
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ commandlinetool ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ commandlinetool ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ commandlinetool ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ commandlinetool ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ commandlinetool ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ commandlinetool ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ commandlinetool ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-shade-plugin:2.4.3:shade (default) @ commandlinetool ---
[INFO] Including org.overturetool.core:ast:jar:2.7.5-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:parser:jar:2.7.5-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:typechecker:jar:2.7.5-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:pog:jar:2.7.5-SNAPSHOT in the shaded jar.
[INFO] Including com.google.code.gson:gson:jar:2.2.4 in the shaded jar.
[INFO] Including org.overturetool.core.prettyprinting:prettyprinter:jar:2.7.5-SNAPSHOT in the shaded jar.
[INFO] Including commons-io:commons-io:jar:2.4 in the shaded jar.
[INFO] Including org.apache.commons:commons-collections4:jar:4.0 in the shaded jar.
[INFO] Including org.overturetool.core:testframework:jar:2.7.5-SNAPSHOT in the shaded jar.
[INFO] Including org.overturetool.core:interpreter:jar:2.7.5-SNAPSHOT in the shaded jar.
[INFO] Replacing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/Overture-2.7.5-SNAPSHOT.jar with /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.5-SNAPSHOT-shaded.jar
[INFO] 
[INFO] --- maven-antrun-plugin:1.8:run (set-executable-bit) @ commandlinetool ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO] 
[INFO] --- maven-assembly-plugin:2.6:single (make-my-jar-with-dependencies) @ commandlinetool ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.5-SNAPSHOT-jar-with-dependencies.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ commandlinetool ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/commandlinetool/2.7.5-SNAPSHOT/commandlinetool-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/commandlinetool/2.7.5-SNAPSHOT/commandlinetool-2.7.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.5-SNAPSHOT-jar-with-dependencies.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/commandlinetool/2.7.5-SNAPSHOT/commandlinetool-2.7.5-SNAPSHOT-jar-with-dependencies.jar
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Code Generation 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/2.7.5-SNAPSHOT/codegen-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Intermediate Representation Tree 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ir ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ir ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- astcreator-plugin:1.6.8:generate (java) @ ir ---
[INFO] Preparing for tree generation...
[INFO] Checking if generation required.
[INFO] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/src/main/resources/ir.ast
Adding aspect fields: PIRBase.{sourceNode,tag,metaData}
WARNING: Using SubProduction class found without using package name. SImportsIRBase
WARNING: Using SubProduction class found without using package name. SImportIRBase
Adding aspect fields: SImportIRBase.{name,renamed,fromModuleName}
Adding aspect fields: SValueImportBase.{importType}
WARNING: Using SubProduction class found without using package name. SExportsIRBase
WARNING: Using SubProduction class found without using package name. SExportIRBase
Adding aspect fields: SExportIRBase.{decl}
WARNING: Using SubProduction class found without using package name. SPatternIRBase
WARNING: Using SubProduction class found without using package name. SBindIRBase
Adding aspect fields: SBindIRBase.{pattern}
WARNING: Using SubProduction class found without using package name. SMultipleBindIRBase
Adding aspect fields: SMultipleBindIRBase.{patterns}
WARNING: Using SubProduction class found without using package name. SNameIRBase
WARNING: Using SubProduction class found without using package name. SDeclIRBase
Adding aspect fields: SClassDeclBase.{globalMetaData,package,dependencies,access,abstract,static,name,fields,invariant,methods,functions,traces,superNames,thread,innerClasses,interfaces,typeDecls,perSyncs,mutexSyncs}
WARNING: Using SubProduction class found without using package name. SStateDesignatorIRBase
Adding aspect fields: SStateDesignatorIRBase.{type}
WARNING: Using SubProduction class found without using package name. SObjectDesignatorIRBase
WARNING: Using SubProduction class found without using package name. SLocalParamIRBase
WARNING: Using SubProduction class found without using package name. SStmIRBase
Adding aspect fields: SCallStmBase.{type,isStatic,name,args}
WARNING: Using SubProduction class found without using package name. SLetBeStIRBase
WARNING: Using SubProduction class found without using package name. SExpIRBase
Adding aspect fields: SExpIRBase.{type}
WARNING: Using SubProduction class found without using package name. SModifierIRBase
Adding aspect fields: SIsExpBase.{exp}
Adding aspect fields: SVarExpBase.{isLambda,isLocal,name}
Adding aspect fields: SQuantifierExpBase.{bindList,predicate}
Adding aspect fields: SBinaryExpBase.{left,right}
Adding aspect fields: SUnaryExpBase.{exp}
WARNING: Using SubProduction class found without using package name. STypeIRBase
Adding aspect fields: STypeIRBase.{optional,namedInvType}
Adding aspect fields: SSetTypeBase.{empty,setOf}
Adding aspect fields: SSeqTypeBase.{empty,seq1,seqOf}
Adding aspect fields: SMapTypeBase.{empty,injective,from,to}
WARNING: Using SubProduction class found without using package name. STermIRBase
WARNING: Using SubProduction class found without using package name. STraceDeclIRBase
WARNING: Using SubProduction class found without using package name. STraceCoreDeclIRBase
Retry Create interfaces - with 16 not yet created interfaces.
Done creating interfaces
Generating toString add on...
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Copying base classes to destination...
Writing source files.:
........................................................................
........................................................................
........................................................................
........................................................................
........................................................................
..........................
File write completed in 7 secs
[INFO] Generator completed with 456 generated files.


[INFO] 
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ ir ---
[INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ ir ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ ir ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 397 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ ir ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ ir ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ ir ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ ir ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/ir-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ir ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ir ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ir ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/ir-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/ir/2.7.5-SNAPSHOT/ir-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/ir/2.7.5-SNAPSHOT/ir-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Code Generation Platform 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ platform ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ platform ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ platform ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 169 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/classes
[INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java uses unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 12 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ platform ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ platform ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.codegen.tests.LocalVarTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.219 sec - in org.overture.codegen.tests.LocalVarTest
Running org.overture.codegen.tests.util.DeclAssistantTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.overture.codegen.tests.util.DeclAssistantTest
Running org.overture.codegen.tests.TemplateManagerTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.239 sec - in org.overture.codegen.tests.TemplateManagerTest

Results :

Tests run: 17, Failures: 0, Errors: 0, Skipped: 0

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ platform ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/platform-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ platform ---
[INFO] Analyzed bundle 'The Code Generation Platform' with 158 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ platform ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ platform ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/platform-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/platform/2.7.5-SNAPSHOT/platform-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/platform/2.7.5-SNAPSHOT/platform-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator Runtime 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen-runtime ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen-runtime ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ codegen-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ codegen-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 53 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ codegen-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ codegen-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ codegen-runtime ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running MapTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.126 sec - in MapTest
Running PermuteArrayTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec - in PermuteArrayTest
Running PermutorTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in PermutorTest
Running VDMUtilTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.02 sec - in VDMUtilTest
Running IsTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in IsTest
Running TupleTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in TupleTest
Running IOTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in IOTest

Results :

Tests run: 42, Failures: 0, Errors: 0, Skipped: 0

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-runtime ---
[INFO] Analyzed bundle 'The Java Code Generator Runtime' with 50 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-runtime ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ codegen-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.5-SNAPSHOT-sources.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen-runtime ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.5-SNAPSHOT/codegen-runtime-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.5-SNAPSHOT/codegen-runtime-2.7.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.5-SNAPSHOT-sources.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-runtime/2.7.5-SNAPSHOT/codegen-runtime-2.7.5-SNAPSHOT-sources.jar
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator Testing 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen-test ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen-test ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen-test ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 19 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen-test ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen-test ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen-test ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen-test ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/javagen-test-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen-test ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen-test ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen-test ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/javagen-test-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen-test/2.7.5-SNAPSHOT/javagen-test-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen-test/2.7.5-SNAPSHOT/javagen-test-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ javagen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ javagen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ javagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 184 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ javagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 34 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ javagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2082 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ javagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 51 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ javagen ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.codegen.tests.other.IRTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.12 sec - in org.overture.codegen.tests.other.IRTest
Running org.overture.codegen.tests.other.ClassesToSkipParsingTest
Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.022 sec - in org.overture.codegen.tests.other.ClassesToSkipParsingTest
Running org.overture.codegen.tests.other.UtilsTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.008 sec - in org.overture.codegen.tests.other.UtilsTest
Running org.overture.codegen.tests.other.VarShadowingTest
Tests run: 37, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.472 sec - in org.overture.codegen.tests.other.VarShadowingTest
Running org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest
Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.47 sec - in org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest
Running org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 28.31 sec - in org.overture.codegen.tests.exec.ConfiguredStringJavaGenTest
Running org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Tests run: 174, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 162.49 sec - in org.overture.codegen.tests.exec.ComplexExpJavaGenTest
Running org.overture.codegen.tests.exec.ClassicJavaGenTest
Tests run: 2, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 2.987 sec <<< FAILURE! - in org.overture.codegen.tests.exec.ClassicJavaGenTest
test[CashDispenserPP.vdmpp](org.overture.codegen.tests.exec.ClassicJavaGenTest)  Time elapsed: 1.789 sec  <<< FAILURE!
java.lang.AssertionError: 
Generated Java code did not compile: 
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ClassicJavaGenTest/CashDispenserPP.vdmpp/CentralResource.java:47: error: cannot find symbol
				if ( 	super.IsLegalCard(accountId
				     	     ^
  symbol: method IsLegalCard(Number,Number)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ClassicJavaGenTest/CashDispenserPP.vdmpp/CentralResource.java:70: error: cannot find symbol
				if ( 	super.IsLegalCard(accountId
				     	     ^
  symbol: method IsLegalCard(Number,Number)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ClassicJavaGenTest/CashDispenserPP.vdmpp/Till.java:42: error: cannot find symbol
			final Boolean cardLegal = 	super.IsLegalCard();
			                          	     ^
  symbol: method IsLegalCard()
Note: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ClassicJavaGenTest/CashDispenserPP.vdmpp/Account.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
3 errors

Running org.overture.codegen.tests.exec.SpecificationJavaGenTest
Tests run: 81, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 59.471 sec - in org.overture.codegen.tests.exec.SpecificationJavaGenTest
Running org.overture.codegen.tests.exec.PackageJavaGenTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.597 sec - in org.overture.codegen.tests.exec.PackageJavaGenTest
Running org.overture.codegen.tests.exec.PatternJavaGenTest
Tests run: 68, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 63.175 sec - in org.overture.codegen.tests.exec.PatternJavaGenTest
Running org.overture.codegen.tests.exec.BindJavaGenTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 10.31 sec - in org.overture.codegen.tests.exec.BindJavaGenTest
Running org.overture.codegen.tests.exec.PrePostJavaGenTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 9.33 sec - in org.overture.codegen.tests.exec.PrePostJavaGenTest
Running org.overture.codegen.tests.exec.ExpJavaGenTest
Tests run: 126, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 105.3 sec - in org.overture.codegen.tests.exec.ExpJavaGenTest
Running org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Tests run: 51, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 45.784 sec - in org.overture.codegen.tests.exec.UnionTypeJavaGenTest
Running org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.633 sec - in org.overture.codegen.tests.exec.TracesVerdictJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 17.386 sec - in org.overture.codegen.tests.exec.ConcurrencyJavaGenTest
Running org.overture.codegen.tests.exec.TracesStateJavaGenTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 8.305 sec - in org.overture.codegen.tests.exec.TracesStateJavaGenTest
Running org.overture.codegen.tests.exec.IsExpJavaGenTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 18.03 sec - in org.overture.codegen.tests.exec.IsExpJavaGenTest
Running org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
Tests run: 3, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 3.471 sec <<< FAILURE! - in org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest
test[CashDispenserPP.vdmpp](org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest)  Time elapsed: 1.497 sec  <<< FAILURE!
java.lang.AssertionError: 
Generated Java code did not compile: 
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConfiguredCloningJavaGenTest/CashDispenserPP.vdmpp/CentralResource.java:47: error: cannot find symbol
				if ( 	super.IsLegalCard(accountId
				     	     ^
  symbol: method IsLegalCard(Number,Number)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConfiguredCloningJavaGenTest/CashDispenserPP.vdmpp/CentralResource.java:70: error: cannot find symbol
				if ( 	super.IsLegalCard(accountId
				     	     ^
  symbol: method IsLegalCard(Number,Number)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConfiguredCloningJavaGenTest/CashDispenserPP.vdmpp/Till.java:42: error: cannot find symbol
			final Boolean cardLegal = 	super.IsLegalCard();
			                          	     ^
  symbol: method IsLegalCard()
Note: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConfiguredCloningJavaGenTest/CashDispenserPP.vdmpp/Account.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
3 errors

Running org.overture.codegen.tests.exec.RtJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.68 sec - in org.overture.codegen.tests.exec.RtJavaGenTest
Running org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 23.203 sec - in org.overture.codegen.tests.exec.TracesExpansionJavaGenTest
Running org.overture.codegen.tests.exec.SlJavaGenTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 19.378 sec - in org.overture.codegen.tests.exec.SlJavaGenTest
Running org.overture.codegen.tests.exec.TracesSlJavaGenTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 11.496 sec - in org.overture.codegen.tests.exec.TracesSlJavaGenTest
Running org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
Tests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 2.543 sec <<< FAILURE! - in org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest
test[POP3_LogBased_Test1.vdmpp](org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest)  Time elapsed: 2.542 sec  <<< FAILURE!
java.lang.AssertionError: 
Generated Java code did not compile: 
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:458: error: cannot find symbol
				final POP3Message oldMsg = 					((POP3Message) Utils.get(	super.GetUserMessages(user
				                           					                         	     ^
  symbol: method GetUserMessages(String)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:465: error: cannot find symbol
, SeqUtil.mod(	super.GetUserMessages(user
              	     ^
  symbol: method GetUserMessages(String)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:536: error: cannot find symbol
				final VDMSeq oldMsgs = 	super.GetUserMessages(user
				                       	     ^
  symbol: method GetUserMessages(String)
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
3 errors

Running org.overture.codegen.tests.exec.FunctionValueJavaGenTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 16.136 sec - in org.overture.codegen.tests.exec.FunctionValueJavaGenTest
Running org.overture.codegen.tests.output.IsExpOutputTest
Tests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.631 sec - in org.overture.codegen.tests.output.IsExpOutputTest
Running org.overture.codegen.tests.output.TracesStateOutputTest
Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.24 sec - in org.overture.codegen.tests.output.TracesStateOutputTest
Running org.overture.codegen.tests.output.BindOutputTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.31 sec - in org.overture.codegen.tests.output.BindOutputTest
Running org.overture.codegen.tests.output.ClassicOutputTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.38 sec - in org.overture.codegen.tests.output.ClassicOutputTest
Running org.overture.codegen.tests.output.RtOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.059 sec - in org.overture.codegen.tests.output.RtOutputTest
Running org.overture.codegen.tests.output.TracesVerdictOutputTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.157 sec - in org.overture.codegen.tests.output.TracesVerdictOutputTest
Running org.overture.codegen.tests.output.PatternOutputTest
Tests run: 68, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.073 sec - in org.overture.codegen.tests.output.PatternOutputTest
Running org.overture.codegen.tests.output.TracesSlOutputTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.24 sec - in org.overture.codegen.tests.output.TracesSlOutputTest
Running org.overture.codegen.tests.output.ConfiguredStringOutputTest
Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.345 sec - in org.overture.codegen.tests.output.ConfiguredStringOutputTest
Running org.overture.codegen.tests.output.ComplexExpOutputTest
Tests run: 174, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.412 sec - in org.overture.codegen.tests.output.ComplexExpOutputTest
Running org.overture.codegen.tests.output.NameNormalisingOutputTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.126 sec - in org.overture.codegen.tests.output.NameNormalisingOutputTest
Running org.overture.codegen.tests.output.ConcurrencyClassicOutputTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.067 sec - in org.overture.codegen.tests.output.ConcurrencyClassicOutputTest
Running org.overture.codegen.tests.output.SystemClassOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.066 sec - in org.overture.codegen.tests.output.SystemClassOutputTest
Running org.overture.codegen.tests.output.FunctionValueOutputTest
Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.278 sec - in org.overture.codegen.tests.output.FunctionValueOutputTest
Running org.overture.codegen.tests.output.ExpOutputTest
Tests run: 126, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.096 sec - in org.overture.codegen.tests.output.ExpOutputTest
Running org.overture.codegen.tests.output.SlOutputTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.341 sec - in org.overture.codegen.tests.output.SlOutputTest
Running org.overture.codegen.tests.output.PrePostOutputTest
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.118 sec - in org.overture.codegen.tests.output.PrePostOutputTest
Running org.overture.codegen.tests.output.PackageOutputTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.05 sec - in org.overture.codegen.tests.output.PackageOutputTest
Running org.overture.codegen.tests.output.SpecificationOutputTest
Tests run: 81, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.124 sec - in org.overture.codegen.tests.output.SpecificationOutputTest
Running org.overture.codegen.tests.output.UnionTypeOutputTest
Tests run: 51, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.835 sec - in org.overture.codegen.tests.output.UnionTypeOutputTest
Running org.overture.codegen.tests.output.ConfiguredCloningOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.395 sec - in org.overture.codegen.tests.output.ConfiguredCloningOutputTest
Running org.overture.codegen.tests.output.TracesExpansionOutputTest
Tests run: 22, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.437 sec - in org.overture.codegen.tests.output.TracesExpansionOutputTest
Running org.overture.codegen.tests.output.ConcurrencyOutputTest
Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.526 sec - in org.overture.codegen.tests.output.ConcurrencyOutputTest

Results :

Failed tests: 
  ClassicJavaGenTest>CheckerTestBase.test:93->JavaGenTestBase.genSourcesAndCompile:124->CheckerTestBase.compile:170 Generated Java code did not compile: 
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ClassicJavaGenTest/CashDispenserPP.vdmpp/CentralResource.java:47: error: cannot find symbol
				if ( 	super.IsLegalCard(accountId
				     	     ^
  symbol: method IsLegalCard(Number,Number)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ClassicJavaGenTest/CashDispenserPP.vdmpp/CentralResource.java:70: error: cannot find symbol
				if ( 	super.IsLegalCard(accountId
				     	     ^
  symbol: method IsLegalCard(Number,Number)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ClassicJavaGenTest/CashDispenserPP.vdmpp/Till.java:42: error: cannot find symbol
			final Boolean cardLegal = 	super.IsLegalCard();
			                          	     ^
  symbol: method IsLegalCard()
Note: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ClassicJavaGenTest/CashDispenserPP.vdmpp/Account.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
3 errors
  ConcurrencyClassicJavaGenTest>CheckerTestBase.test:93->JavaGenTestBase.genSourcesAndCompile:124->CheckerTestBase.compile:170 Generated Java code did not compile: 
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:458: error: cannot find symbol
				final POP3Message oldMsg = 					((POP3Message) Utils.get(	super.GetUserMessages(user
				                           					                         	     ^
  symbol: method GetUserMessages(String)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:465: error: cannot find symbol
, SeqUtil.mod(	super.GetUserMessages(user
              	     ^
  symbol: method GetUserMessages(String)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConcurrencyClassicJavaGenTest/POP3_LogBased_Test1.vdmpp/POP3Server.java:536: error: cannot find symbol
				final VDMSeq oldMsgs = 	super.GetUserMessages(user
				                       	     ^
  symbol: method GetUserMessages(String)
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
3 errors
  ConfiguredCloningJavaGenTest>CheckerTestBase.test:93->JavaGenTestBase.genSourcesAndCompile:124->CheckerTestBase.compile:170 Generated Java code did not compile: 
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConfiguredCloningJavaGenTest/CashDispenserPP.vdmpp/CentralResource.java:47: error: cannot find symbol
				if ( 	super.IsLegalCard(accountId
				     	     ^
  symbol: method IsLegalCard(Number,Number)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConfiguredCloningJavaGenTest/CashDispenserPP.vdmpp/CentralResource.java:70: error: cannot find symbol
				if ( 	super.IsLegalCard(accountId
				     	     ^
  symbol: method IsLegalCard(Number,Number)
/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConfiguredCloningJavaGenTest/CashDispenserPP.vdmpp/Till.java:42: error: cannot find symbol
			final Boolean cardLegal = 	super.IsLegalCard();
			                          	     ^
  symbol: method IsLegalCard()
Note: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/ConfiguredCloningJavaGenTest/CashDispenserPP.vdmpp/Account.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
3 errors

Tests run: 1479, Failures: 3, Errors: 0, Skipped: 0

[ERROR] There are test failures.

Please refer to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/surefire-reports for the individual test results.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ javagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/javagen-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ javagen ---
[INFO] Analyzed bundle 'The Java Code Generator' with 32 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ javagen ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ javagen ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/javagen-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen/2.7.5-SNAPSHOT/javagen-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/javagen/2.7.5-SNAPSHOT/javagen-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM to JML Generator Runtime 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2jml-runtime ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2jml-runtime ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ vdm2jml-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ vdm2jml-runtime ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 1 source file to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ vdm2jml-runtime ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ vdm2jml-runtime ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ vdm2jml-runtime ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ vdm2jml-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2jml-runtime ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2jml-runtime ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-source-plugin:3.0.0:jar-no-fork (attach-sources) @ vdm2jml-runtime ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.5-SNAPSHOT-sources.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ vdm2jml-runtime ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml-runtime/2.7.5-SNAPSHOT/vdm2jml-runtime-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml-runtime/2.7.5-SNAPSHOT/vdm2jml-runtime-2.7.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.5-SNAPSHOT-sources.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml-runtime/2.7.5-SNAPSHOT/vdm2jml-runtime-2.7.5-SNAPSHOT-sources.jar
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM to JML Generator 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2jml ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2jml ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:copy-resources (copy-resources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 24 resources
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ vdm2jml ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 37 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ vdm2jml ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 383 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ vdm2jml ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 46 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ vdm2jml ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.vdm2jml.tests.RecInvTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.454 sec - in org.overture.vdm2jml.tests.RecInvTests
Running org.overture.vdm2jml.tests.JmlPassTypeCheckTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.031 sec - in org.overture.vdm2jml.tests.JmlPassTypeCheckTests
Running org.overture.vdm2jml.tests.PreCondNoStateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.266 sec - in org.overture.vdm2jml.tests.PreCondNoStateTests
Running org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.01 sec - in org.overture.vdm2jml.tests.exec.JmlComposedPatternExecTests
Running org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.017 sec - in org.overture.vdm2jml.tests.exec.JmlComplexStateDesExecTests
Running org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.007 sec - in org.overture.vdm2jml.tests.exec.JmlComprehensionExecTests
Running org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.01 sec - in org.overture.vdm2jml.tests.exec.JmlMapTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 5, Time elapsed: 0.009 sec - in org.overture.vdm2jml.tests.exec.JmlSeqTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlPrePostExecTests
Tests run: 2, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.004 sec - in org.overture.vdm2jml.tests.exec.JmlPrePostExecTests
Running org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 12, Time elapsed: 0.043 sec - in org.overture.vdm2jml.tests.exec.JmlReuseSlTraceJavaGenTest
Running org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.007 sec - in org.overture.vdm2jml.tests.exec.JmlOptionalTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlRecInvExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.006 sec - in org.overture.vdm2jml.tests.exec.JmlRecInvExecTests
Running org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests
Tests run: 6, Failures: 0, Errors: 0, Skipped: 6, Time elapsed: 0.01 sec - in org.overture.vdm2jml.tests.exec.JmlUnionTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.002 sec - in org.overture.vdm2jml.tests.exec.JmlSlTraceJavaGenTest
Running org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests
Tests run: 9, Failures: 0, Errors: 0, Skipped: 9, Time elapsed: 0.015 sec - in org.overture.vdm2jml.tests.exec.JmlBasicTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests
Tests run: 7, Failures: 0, Errors: 0, Skipped: 7, Time elapsed: 0.009 sec - in org.overture.vdm2jml.tests.exec.JmlSimplePatternExecTests
Running org.overture.vdm2jml.tests.exec.JmlAtomicExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.004 sec - in org.overture.vdm2jml.tests.exec.JmlAtomicExecTests
Running org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.007 sec - in org.overture.vdm2jml.tests.exec.JmlTupleTypeExecTests
Running org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlInvariantForExecTests
Running org.overture.vdm2jml.tests.exec.JmlSelectorExecTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 4, Time elapsed: 0.006 sec - in org.overture.vdm2jml.tests.exec.JmlSelectorExecTests
Running org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 10, Time elapsed: 0.014 sec - in org.overture.vdm2jml.tests.exec.JmlNamedTypeInvExecTests
Running org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlQuantifierExecTests
Running org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.exec.JmlSetTypeExecTests
Running org.overture.vdm2jml.tests.TypeDependencyTests
Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.07 sec - in org.overture.vdm2jml.tests.TypeDependencyTests
Running org.overture.vdm2jml.tests.JmlOutputTests
Tests run: 85, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 7.846 sec - in org.overture.vdm2jml.tests.JmlOutputTests
Running org.overture.vdm2jml.tests.StateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.023 sec - in org.overture.vdm2jml.tests.StateTests
Running org.overture.vdm2jml.tests.V2JCallTests
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 sec - in org.overture.vdm2jml.tests.V2JCallTests
Running org.overture.vdm2jml.tests.LeafTypeCallTests
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 sec - in org.overture.vdm2jml.tests.LeafTypeCallTests
Running org.overture.vdm2jml.tests.PurityTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.013 sec - in org.overture.vdm2jml.tests.PurityTests
Running org.overture.vdm2jml.tests.PostCondWithStateTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.035 sec - in org.overture.vdm2jml.tests.PostCondWithStateTests
Running org.overture.vdm2jml.tests.JmlSlTraceOutputTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.188 sec - in org.overture.vdm2jml.tests.JmlSlTraceOutputTest
Running org.overture.vdm2jml.tests.NameGenTests
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec - in org.overture.vdm2jml.tests.NameGenTests
Running org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest
Tests run: 12, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.475 sec - in org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest
Running org.overture.vdm2jml.tests.PreCondWithStateTests
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.028 sec - in org.overture.vdm2jml.tests.PreCondWithStateTests
Running org.overture.vdm2jml.tests.PostCondNoStateTests
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.015 sec - in org.overture.vdm2jml.tests.PostCondNoStateTests

Results :

Tests run: 278, Failures: 0, Errors: 0, Skipped: 110

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ vdm2jml ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/vdm2jml-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2jml ---
[INFO] Analyzed bundle 'The VDM to JML Generator' with 37 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2jml ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-dependency-plugin:2.10:copy (copy) @ vdm2jml ---
[INFO] Configured Artifact: org.overturetool.core.codegen:codegen-runtime:2.7.5-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.core.codegen:vdm2jml-runtime:2.7.5-SNAPSHOT:jar
[INFO] Copying codegen-runtime-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/jml/lib/codegen-runtime.jar
[INFO] Copying vdm2jml-runtime-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/jml/lib/vdm2jml-runtime.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ vdm2jml ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/vdm2jml-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml/2.7.5-SNAPSHOT/vdm2jml-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/vdm2jml/2.7.5-SNAPSHOT/vdm2jml-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator Maven Plugin 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ codegen-plugin ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ codegen-plugin ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-plugin-plugin:3.3:descriptor (default-descriptor) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to read mojo metadata.
[INFO] Applying mojo extractor for language: java
[INFO] Mojo extractor for language: java found 1 mojo descriptors.
[INFO] Applying mojo extractor for language: bsh
[INFO] Mojo extractor for language: bsh found 0 mojo descriptors.
[INFO] Applying mojo extractor for language: java-annotations
[INFO] Mojo extractor for language: java-annotations found 0 mojo descriptors.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:2.4:compile (default-compile) @ codegen-plugin ---
[INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/classes
[INFO] 
[INFO] --- maven-plugin-plugin:3.3:descriptor (mojo-descriptor) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to read mojo metadata.
[INFO] Applying mojo extractor for language: java
[INFO] Mojo extractor for language: java found 1 mojo descriptors.
[INFO] Applying mojo extractor for language: bsh
[INFO] Mojo extractor for language: bsh found 0 mojo descriptors.
[INFO] Applying mojo extractor for language: java-annotations
[INFO] Mojo extractor for language: java-annotations found 0 mojo descriptors.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ codegen-plugin ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:2.4:testCompile (default-testCompile) @ codegen-plugin ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ codegen-plugin ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ codegen-plugin ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-plugin-plugin:3.3:addPluginArtifactMetadata (default-addPluginArtifactMetadata) @ codegen-plugin ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ codegen-plugin ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ codegen-plugin ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ codegen-plugin ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-plugin/2.7.5-SNAPSHOT/codegen-plugin-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/codegen-plugin/2.7.5-SNAPSHOT/codegen-plugin-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM to Isabelle Translator 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ isagen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ isagen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- astcreator-plugin:1.6.8:generate (generate-ast) @ isagen ---
[INFO] Preparing for tree generation...
[INFO] Configuring extension
[INFO] 	Extension base dependency is: "org.overturetool.core.codegen:ir"
[INFO] 	Searching for base dependency artifact
[INFO] 	Extension base artifact found - exstracting base tree definition files
[INFO] 	Setting base definition files to:
[INFO] 		base: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/ir.ast
[INFO] 		base tostring: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/ir.ast.tostring
[INFO] 	Extension base artifact configured.
[INFO] Checking if generation required.
[INFO] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/ir.ast
[INFO] Generator starting with extension input: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/src/main/resources/isair.ast
Generating base and extension tree, standby ... 
Extension tree only: true
Adding aspect fields: PIRBase.{sourceNode,tag,metaData}
WARNING: Using SubProduction class found without using package name. SImportsIRBase
WARNING: Using SubProduction class found without using package name. SImportIRBase
Adding aspect fields: SImportIRBase.{name,renamed,fromModuleName}
Adding aspect fields: SValueImportBase.{importType}
WARNING: Using SubProduction class found without using package name. SExportsIRBase
WARNING: Using SubProduction class found without using package name. SExportIRBase
Adding aspect fields: SExportIRBase.{decl}
WARNING: Using SubProduction class found without using package name. SPatternIRBase
WARNING: Using SubProduction class found without using package name. SBindIRBase
Adding aspect fields: SBindIRBase.{pattern}
WARNING: Using SubProduction class found without using package name. SMultipleBindIRBase
Adding aspect fields: SMultipleBindIRBase.{patterns}
WARNING: Using SubProduction class found without using package name. SNameIRBase
WARNING: Using SubProduction class found without using package name. SDeclIRBase
Adding aspect fields: SClassDeclBase.{globalMetaData,package,dependencies,access,abstract,static,name,fields,invariant,methods,functions,traces,superNames,thread,innerClasses,interfaces,typeDecls,perSyncs,mutexSyncs}
WARNING: Using SubProduction class found without using package name. SStateDesignatorIRBase
Adding aspect fields: SStateDesignatorIRBase.{type}
WARNING: Using SubProduction class found without using package name. SObjectDesignatorIRBase
WARNING: Using SubProduction class found without using package name. SLocalParamIRBase
WARNING: Using SubProduction class found without using package name. SStmIRBase
Adding aspect fields: SCallStmBase.{type,isStatic,name,args}
WARNING: Using SubProduction class found without using package name. SLetBeStIRBase
WARNING: Using SubProduction class found without using package name. SExpIRBase
Adding aspect fields: SExpIRBase.{type}
WARNING: Using SubProduction class found without using package name. SModifierIRBase
Adding aspect fields: SIsExpBase.{exp}
Adding aspect fields: SVarExpBase.{isLambda,isLocal,name}
Adding aspect fields: SQuantifierExpBase.{bindList,predicate}
Adding aspect fields: SBinaryExpBase.{left,right}
Adding aspect fields: SUnaryExpBase.{exp}
WARNING: Using SubProduction class found without using package name. STypeIRBase
Adding aspect fields: STypeIRBase.{optional,namedInvType}
Adding aspect fields: SSetTypeBase.{empty,setOf}
Adding aspect fields: SSeqTypeBase.{empty,seq1,seqOf}
Adding aspect fields: SMapTypeBase.{empty,injective,from,to}
WARNING: Using SubProduction class found without using package name. STermIRBase
WARNING: Using SubProduction class found without using package name. STraceDeclIRBase
WARNING: Using SubProduction class found without using package name. STraceCoreDeclIRBase
Retry Create interfaces - with 13 not yet created interfaces.
Done creating interfaces
Generating toString add on...
WARNING: Using SubProduction class found without using package name. SDeclIRBase
Done creating interfaces
Generating toString add on...
Failed to lookup tostring addition with %AIsaclassClassIR @ line 8 38:53
***********************************************
AST Creator Extensions
***********************************************
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Writing sources to the file system, standby ... 
Destination: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/generated-sources/astCreator
Copying base classes to destination...
Writing source files.:
..............
File write completed in 0 secs
Created AST with extensions.
[INFO] 
[INFO] --- build-helper-maven-plugin:1.10:add-source (add-source) @ isagen ---
[INFO] Source directory: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/generated-sources/astCreator added.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ isagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 65 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ isagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 24 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ isagen ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 144 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ isagen ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ isagen ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overturetool.cgisa.IsaGenFileExpTest
Tests run: 24, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.52 sec - in org.overturetool.cgisa.IsaGenFileExpTest
Running org.overturetool.cgisa.IsaGenModelTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0 sec - in org.overturetool.cgisa.IsaGenModelTest
Running org.overturetool.cgisa.IsaGenParamTest
Tests run: 48, Failures: 0, Errors: 0, Skipped: 2, Time elapsed: 0.652 sec - in org.overturetool.cgisa.IsaGenParamTest

Results :

Tests run: 73, Failures: 0, Errors: 0, Skipped: 3

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ isagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/isagen-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ isagen ---
[INFO] Analyzed bundle 'The VDM to Isabelle Translator' with 19 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ isagen ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ isagen ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/isagen-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/isagen/2.7.5-SNAPSHOT/isagen-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/codegen/isagen/2.7.5-SNAPSHOT/isagen-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building POG - Isagen Integration 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ isapog ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ isapog ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ isapog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/../../documentation/examples
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ isapog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 2 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ isapog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 7 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ isapog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 4 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ isapog ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.isapog.ThyWriteTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.428 sec - in org.overture.isapog.ThyWriteTest
Running org.overture.isapog.IsaPogIntegrationTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.028 sec - in org.overture.isapog.IsaPogIntegrationTest

Results :

Tests run: 4, Failures: 0, Errors: 0, Skipped: 3

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ isapog ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/isapog-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ isapog ---
[INFO] Analyzed bundle 'POG - Isagen Integration' with 2 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ isapog ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ isapog ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/isapog-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/isapog/2.7.5-SNAPSHOT/isapog-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/isapog/2.7.5-SNAPSHOT/isapog-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building VDM Annotations 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ annotations ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ annotations ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ annotations ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ annotations ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ annotations ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/2.7.5-SNAPSHOT/annotations-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Provided Annotations 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ provided ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ provided ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ provided ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ provided ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 6 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ provided ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ provided ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ provided ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ provided ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/provided-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ provided ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ provided ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ provided ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/provided-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/provided/2.7.5-SNAPSHOT/provided-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/provided/2.7.5-SNAPSHOT/provided-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Annotation Examples 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ examples ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ examples ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ examples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ examples ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 2 source files to /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ examples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ examples ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ examples ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ examples ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/examples-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ examples ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ examples ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ examples ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/examples-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/examples/2.7.5-SNAPSHOT/examples-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/core/annotations/examples/2.7.5-SNAPSHOT/examples-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Documentation 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ documentation ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ documentation ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/documentation/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ documentation ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/documentation/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ documentation ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/documentation/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/documentation/2.7.5-SNAPSHOT/documentation-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Overture release notes 2.7.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ releasenotes ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ releasenotes ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-pvj-main/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/coverage-reports/jacoco-unit.exec,excludes=**/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/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ releasenotes ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 81 resources to /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/classes/releasenotes
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ releasenotes ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ releasenotes ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ releasenotes ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ releasenotes ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ releasenotes ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/releasenotes-2.7.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ releasenotes ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ releasenotes ---
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/releasenotes-2.7.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/documentation/releasenotes/2.7.5-SNAPSHOT/releasenotes-2.7.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/pom.xml to /var/lib/jenkins/workspace/overture-pvj-main/.repository/org/overturetool/documentation/releasenotes/2.7.5-SNAPSHOT/releasenotes-2.7.5-SNAPSHOT.pom
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO] Artifactory Build Info Recorder: Saving Build Info to '/var/lib/jenkins/workspace/overture-pvj-main/target/build-info.json'
[WARNING] Artifactory Build Info Recorder: unstable build, artifacts will not be deployed...
[WARNING] Artifactory Build Info Recorder: unstable build, build info will not be published...
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] The Overture Tool Platform root ................... SUCCESS [1.464s]
[INFO] Overture External Resources ....................... SUCCESS [2.845s]
[INFO] Core Tools ........................................ SUCCESS [0.818s]
[INFO] The Overture Abstract Syntax Tree ................. SUCCESS [20.501s]
[INFO] Test Framework for Overture ....................... SUCCESS [0.848s]
[INFO] The VDM parser .................................... SUCCESS [10.750s]
[INFO] The VDM Type Checker .............................. SUCCESS [20.091s]
[INFO] Overture Testing .................................. SUCCESS [0.285s]
[INFO] Overture Testing Framework ........................ SUCCESS [0.746s]
[INFO] Overture Sample Tests ............................. SUCCESS [17.974s]
[INFO] VDM Pretty Printing ............................... SUCCESS [0.321s]
[INFO] The VDM Pretty Printer ............................ SUCCESS [0.786s]
[INFO] The Proof Obligation Generator .................... SUCCESS [10.090s]
[INFO] The VDM Interpreter ............................... SUCCESS [22.435s]
[INFO] Combinatorial Testing ............................. SUCCESS [0.286s]
[INFO] Combinatorial Testing Utilities ................... SUCCESS [0.758s]
[INFO] Combinatorial Testing Runtime ..................... SUCCESS [23.242s]
[INFO] New Pretty Printer ................................ SUCCESS [2.561s]
[INFO] Overture Core Command Line Tool ................... SUCCESS [3.201s]
[INFO] Code Generation ................................... SUCCESS [0.287s]
[INFO] The Intermediate Representation Tree .............. SUCCESS [13.105s]
[INFO] The Code Generation Platform ...................... SUCCESS [5.395s]
[INFO] The Java Code Generator Runtime ................... SUCCESS [3.177s]
[INFO] The Java Code Generator Testing ................... SUCCESS [0.880s]
[INFO] The Java Code Generator ........................... SUCCESS [10:42.407s]
[INFO] The VDM to JML Generator Runtime .................. SUCCESS [1.097s]
[INFO] The VDM to JML Generator .......................... SUCCESS [16.416s]
[INFO] The Java Code Generator Maven Plugin .............. SUCCESS [7.079s]
[INFO] The VDM to Isabelle Translator .................... SUCCESS [5.599s]
[INFO] POG - Isagen Integration .......................... SUCCESS [3.823s]
[INFO] VDM Annotations ................................... SUCCESS [0.269s]
[INFO] Provided Annotations .............................. SUCCESS [0.713s]
[INFO] Annotation Examples ............................... SUCCESS [0.741s]
[INFO] Documentation ..................................... SUCCESS [0.227s]
[INFO] The Overture release notes ........................ SUCCESS [0.636s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 14:57.953s
[INFO] Finished at: Sun May 17 19:25:04 CEST 2020
[INFO] Final Memory: 93M/543M
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/pom.xml to org.overturetool.core.codegen/codegen-runtime/2.7.5-SNAPSHOT/codegen-runtime-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.5-SNAPSHOT.jar to org.overturetool.core.codegen/codegen-runtime/2.7.5-SNAPSHOT/codegen-runtime-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-runtime/target/codegen-runtime-2.7.5-SNAPSHOT-sources.jar to org.overturetool.core.codegen/codegen-runtime/2.7.5-SNAPSHOT/codegen-runtime-2.7.5-SNAPSHOT-sources.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/pom.xml to org.overturetool.core/annotations/2.7.5-SNAPSHOT/annotations-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/pom.xml to org.overturetool.core.annotations/provided/2.7.5-SNAPSHOT/provided-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/provided/target/provided-2.7.5-SNAPSHOT.jar to org.overturetool.core.annotations/provided/2.7.5-SNAPSHOT/provided-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/pom.xml to org.overturetool/core/2.7.5-SNAPSHOT/core-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/ast/pom.xml to org.overturetool.core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/ast/target/ast-2.7.5-SNAPSHOT.jar to org.overturetool.core/ast/2.7.5-SNAPSHOT/ast-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/pom.xml to org.overturetool.core/isapog/2.7.5-SNAPSHOT/isapog-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/isapog/target/isapog-2.7.5-SNAPSHOT.jar to org.overturetool.core/isapog/2.7.5-SNAPSHOT/isapog-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/pom.xml to org.overturetool.core.testing/framework/2.7.5-SNAPSHOT/framework-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/framework/target/framework-2.7.5-SNAPSHOT.jar to org.overturetool.core.testing/framework/2.7.5-SNAPSHOT/framework-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/pom.xml to org.overturetool.core/combinatorialtesting/2.7.5-SNAPSHOT/combinatorialtesting-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/pom.xml to org.overturetool.core.prettyprinting/prettyprinter/2.7.5-SNAPSHOT/prettyprinter-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/prettyprinter/target/prettyprinter-2.7.5-SNAPSHOT.jar to org.overturetool.core.prettyprinting/prettyprinter/2.7.5-SNAPSHOT/prettyprinter-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/pom.xml to org.overturetool/root/2.7.5-SNAPSHOT/root-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/pom.xml to org.overturetool.core.testing/samples/2.7.5-SNAPSHOT/samples-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/samples/target/samples-2.7.5-SNAPSHOT.jar to org.overturetool.core.testing/samples/2.7.5-SNAPSHOT/samples-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/documentation/pom.xml to org.overturetool/documentation/2.7.5-SNAPSHOT/documentation-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/pom.xml to org.overturetool.core.codegen/ir/2.7.5-SNAPSHOT/ir-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/ir/target/ir-2.7.5-SNAPSHOT.jar to org.overturetool.core.codegen/ir/2.7.5-SNAPSHOT/ir-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/pom.xml to org.overturetool.core.codegen/isagen/2.7.5-SNAPSHOT/isagen-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/isagen/target/isagen-2.7.5-SNAPSHOT.jar to org.overturetool.core.codegen/isagen/2.7.5-SNAPSHOT/isagen-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/pom.xml to org.overturetool.core/npp/2.7.5-SNAPSHOT/npp-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/npp/target/npp-2.7.5-SNAPSHOT.jar to org.overturetool.core/npp/2.7.5-SNAPSHOT/npp-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/pom.xml to org.overturetool.core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testframework/target/testframework-2.7.5-SNAPSHOT.jar to org.overturetool.core/testframework/2.7.5-SNAPSHOT/testframework-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/pom.xml to org.overturetool.core/commandlinetool/2.7.5-SNAPSHOT/commandlinetool-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.5-SNAPSHOT.jar to org.overturetool.core/commandlinetool/2.7.5-SNAPSHOT/commandlinetool-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/commandline/target/commandlinetool-2.7.5-SNAPSHOT-jar-with-dependencies.jar to org.overturetool.core/commandlinetool/2.7.5-SNAPSHOT/commandlinetool-2.7.5-SNAPSHOT-jar-with-dependencies.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/pom.xml to org.overturetool.core.annotations/examples/2.7.5-SNAPSHOT/examples-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/annotations/examples/target/examples-2.7.5-SNAPSHOT.jar to org.overturetool.core.annotations/examples/2.7.5-SNAPSHOT/examples-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/pom.xml to org.overturetool.core/codegen/2.7.5-SNAPSHOT/codegen-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/pom.xml to org.overturetool.core.codegen/javagen/2.7.5-SNAPSHOT/javagen-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen/target/javagen-2.7.5-SNAPSHOT.jar to org.overturetool.core.codegen/javagen/2.7.5-SNAPSHOT/javagen-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/pom.xml to org.overturetool.core.codegen/vdm2jml/2.7.5-SNAPSHOT/vdm2jml-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml/target/vdm2jml-2.7.5-SNAPSHOT.jar to org.overturetool.core.codegen/vdm2jml/2.7.5-SNAPSHOT/vdm2jml-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/testing/pom.xml to org.overturetool.core/testing/2.7.5-SNAPSHOT/testing-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/pom.xml to org.overturetool.documentation/releasenotes/2.7.5-SNAPSHOT/releasenotes-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/documentation/releasenotes/target/releasenotes-2.7.5-SNAPSHOT.jar to org.overturetool.documentation/releasenotes/2.7.5-SNAPSHOT/releasenotes-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/prettyprinting/pom.xml to org.overturetool.core/prettyprinting/2.7.5-SNAPSHOT/prettyprinting-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/pom.xml to org.overturetool.core.codegen/platform/2.7.5-SNAPSHOT/platform-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/platform/target/platform-2.7.5-SNAPSHOT.jar to org.overturetool.core.codegen/platform/2.7.5-SNAPSHOT/platform-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/pom.xml to org.overturetool.core.codegen/codegen-plugin/2.7.5-SNAPSHOT/codegen-plugin-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.5-SNAPSHOT.jar to org.overturetool.core.codegen/codegen-plugin/2.7.5-SNAPSHOT/codegen-plugin-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/pom.xml to org.overturetool.core.codegen/vdm2jml-runtime/2.7.5-SNAPSHOT/vdm2jml-runtime-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.5-SNAPSHOT.jar to org.overturetool.core.codegen/vdm2jml-runtime/2.7.5-SNAPSHOT/vdm2jml-runtime-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.5-SNAPSHOT-sources.jar to org.overturetool.core.codegen/vdm2jml-runtime/2.7.5-SNAPSHOT/vdm2jml-runtime-2.7.5-SNAPSHOT-sources.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/externals/pom.xml to org.overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/externals/target/externals-2.7.5-SNAPSHOT.jar to org.overturetool/externals/2.7.5-SNAPSHOT/externals-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/pom.xml to org.overturetool.core/typechecker/2.7.5-SNAPSHOT/typechecker-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/typechecker/target/typechecker-2.7.5-SNAPSHOT.jar to org.overturetool.core/typechecker/2.7.5-SNAPSHOT/typechecker-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/pom.xml to org.overturetool.core.codegen/javagen-test/2.7.5-SNAPSHOT/javagen-test-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/codegen/javagen-test/target/javagen-test-2.7.5-SNAPSHOT.jar to org.overturetool.core.codegen/javagen-test/2.7.5-SNAPSHOT/javagen-test-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/pom.xml to org.overturetool.core.combinatorialtesting/ctutils/2.7.5-SNAPSHOT/ctutils-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctutils/target/ctutils-2.7.5-SNAPSHOT.jar to org.overturetool.core.combinatorialtesting/ctutils/2.7.5-SNAPSHOT/ctutils-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/pog/pom.xml to org.overturetool.core/pog/2.7.5-SNAPSHOT/pog-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/pog/target/pog-2.7.5-SNAPSHOT.jar to org.overturetool.core/pog/2.7.5-SNAPSHOT/pog-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/pom.xml to org.overturetool.core.combinatorialtesting/ctruntime/2.7.5-SNAPSHOT/ctruntime-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/combinatorialtesting/ctruntime/target/ctruntime-2.7.5-SNAPSHOT.jar to org.overturetool.core.combinatorialtesting/ctruntime/2.7.5-SNAPSHOT/ctruntime-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/parser/pom.xml to org.overturetool.core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/parser/target/parser-2.7.5-SNAPSHOT.jar to org.overturetool.core/parser/2.7.5-SNAPSHOT/parser-2.7.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/pom.xml to org.overturetool.core/interpreter/2.7.5-SNAPSHOT/interpreter-2.7.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-pvj-main/core/interpreter/target/interpreter-2.7.5-SNAPSHOT.jar to org.overturetool.core/interpreter/2.7.5-SNAPSHOT/interpreter-2.7.5-SNAPSHOT.jar
channel stopped
[Set GitHub commit status (universal)] FAILURE on repos [GHRepository@3f1f7abf[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,archived=false,size=214462,milestones={},language=Java,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type, Deprecation, Sunset], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Sun, 17 May 2020 17:25:12 GMT], ETag=["50984b2d16d2510d06726b391da06193"], Last-Modified=[Fri, 15 May 2020 20:00:51 GMT], OkHttp-Received-Millis=[1589736312920], OkHttp-Response-Source=[CONDITIONAL_CACHE 304], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1589736312715], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[304 Not Modified], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding, Accept, X-Requested-With], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[A7A6:3A99E:5D8A307:6B60B19:5EC17378], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4982], X-RateLimit-Reset=[1589737590], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:50da1be) with context:overture-pvj-main
Setting commit status on GitHub for https://github.com/overturetool/overture/commit/50da1bede0cb5308d4caa79a5778d3648baf939b
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
Not sending mail to user ncdmz\jasim with no permission to view overture-pvj-main #167
Not sending mail to user nick.battle@gmail.com with no permission to view overture-pvj-main #167
Sending e-mails to: hugodsmacedo@gmail.com pvj@eng.au.dk
Finished: UNSTABLE